Class Condition


  • public final class Condition
    extends java.lang.Object
    • Method Detail

      • isSingle

        public boolean isSingle()
      • getAtoms

        public java.util.List<ru.ispras.fortress.expression.Node> getAtoms()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • extract

        public static Condition extract​(ru.ispras.fortress.expression.Node expr)