public class ForceBranchFailure extends java.lang.Object implements _AbstractRule
Constructor and Description |
---|
ForceBranchFailure(java.lang.String name,
_AbstractGoal goal) |
Modifier and Type | Method and Description |
---|---|
_AbstractGoal |
goal()
Returns the abstract node set on which the the proof-search failed.
|
java.lang.String |
name()
Returns the name of the rule
|
public ForceBranchFailure(java.lang.String name, _AbstractGoal goal)
public final java.lang.String name()
_AbstractRule
name
in interface _AbstractRule
public final _AbstractGoal goal()