Class BinaryStructure

All Implemented Interfaces:
LogicalFormula, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>
Direct Known Subclasses:
LogExpr, RelExpr

public abstract class BinaryStructure
extends Structure
Represents a binary/unary logical/relational operator.
See Also:
Serialized Form
  • Field Details

  • Constructor Details

    • BinaryStructure

      public BinaryStructure​(Term t1, java.lang.String id, Term t2)
      Constructor for binary operator
    • BinaryStructure

      public BinaryStructure​(java.lang.String id, Term arg)
      Constructor for unary operator
  • Method Details

    • getLHS

      public Term getLHS()
      gets the LHS of this operation
    • getRHS

      public Term getRHS()
      gets the RHS of this operation
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class Structure
    • getAsDOM

      public org.w3c.dom.Element getAsDOM​(org.w3c.dom.Document document)
      get as XML
      Specified by:
      getAsDOM in interface ToDOM
      Overrides:
      getAsDOM in class Structure