public interface _ClashDetectionRule extends _AbstractRule
Modifier and Type | Method and Description |
---|---|
_AbstractGoal |
goal()
Returns the goal on which this this clash-detection rule act.
|
ProofSearchResult |
status()
Returns
ProofSearchResult.SUCCESS if the goal of this rule
contains a clash and ProofSearchResult.FAILURE otherwise. |
name
_AbstractGoal goal()
ProofSearchResult status()
ProofSearchResult.SUCCESS
if the goal of this rule
contains a clash and ProofSearchResult.FAILURE
otherwise.