Class Atom


  • public final class Atom
    extends java.lang.Object
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  Atom.Kind  
    • Constructor Summary

      Constructors 
      Constructor Description
      Atom​(Atom.Kind kind, java.lang.Object 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)
      • newField

        public static Atom newField​(ru.ispras.fortress.expression.Node extract)
      • newConcat

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

        public java.lang.Object getObject()
      • toString

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