Class InternalActionLiteral

All Implemented Interfaces:
LogicalFormula, Term, ToDOM, ToJson, Serializable, Cloneable, Comparable<Term>

public class InternalActionLiteral extends Structure implements LogicalFormula
A particular type of literal used to represent internal actions (which has a "." in the functor).
See Also: