public class ForceBranchSuccess extends java.lang.Object implements _AbstractRule
_ClashDetectionRule
whose
_ClashDetectionRule.status()
always returns
ProofSearchResult.SUCCESS
. This rule force branch success. Hence,
after the application of this rule, the engine search for a branch point to
restore and proof-search succeed if no branch-point exists.Constructor and Description |
---|
ForceBranchSuccess(java.lang.String name,
_AbstractGoal goal) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
name()
Returns the name of the rule
|
_AbstractGoal |
premise()
Returns the abstract node set on which the the proof-search failed.
|
public ForceBranchSuccess(java.lang.String name, _AbstractGoal goal)
public final java.lang.String name()
_AbstractRule
name
in interface _AbstractRule
public final _AbstractGoal premise()