Class Atom


  • public final class Atom
    extends java.lang.Object
    • Constructor Detail

      • Atom

        public Atom​(Atom.Kind kind,
                    java.lang.Object object)
    • Method Detail

      • newValue

        public static Atom newValue​(java.math.BigInteger value)
      • newVariable

        public static Atom newVariable​(ru.ispras.fortress.data.Variable variable)
      • newGroup

        public static Atom newGroup​(Var group)
      • newExpression

        public static Atom newExpression​(ru.ispras.fortress.expression.Node concat)
      • getObject

        public java.lang.Object getObject()
      • isAssignable

        public boolean isAssignable()
      • toString

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