Class LogExpr

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

public class LogExpr
extends BinaryStructure
implements LogicalFormula
Represents a logical formula with some logical operator ("&", "|", "not").
See Also:
Serialized Form