public class CheckClosedTerm extends NonRecursive
new CheckClosedTerm().isClosed()You can check multiple terms with one instance and it will cache results between checks.
|Constructor and Description|
The default constructor.
|Modifier and Type||Method and Description|
Check if term t is closed.
enqueueWalker, reset, run, run, toString
public boolean isClosed(Term t)
t- the term that is checked.