public interface _AbstractGoal
An abstract goal represent a goal during proof-search. An implementation of
this interface is a data structure representing the set of formulas (or
signed formulas) on which the rules of the calculus work. E.g., implementing
a proof-search over a sequent calculus, the implementation of this interface
represents a sequent; implementing a proof-search over a tableau calculus,
its implementation represents a set of signed formulas. The engine needs very
little information about node-sets; indeed, it only uses the method
format()
when it works in verbose mode to provide information on
proof-search and the method clone()
to store some information needed
to proof-search and trace generation.
Modifier and Type | Method and Description |
---|---|
_AbstractGoal |
clone()
Returns a fresh copy of this goal
|
java.lang.String |
format()
Returns a string describing this goal
|
java.lang.String format()
_AbstractGoal clone()