Class CyclicTerm

All Implemented Interfaces:
LogicalFormula, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>

public class CyclicTerm
extends LiteralImpl
A term with recursion (cyclic), created by code like X = f(X).
See Also:
Serialized Form