public final class Atom
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
Atom.Kind |
Constructor and Description |
---|
Atom(Atom.Kind kind,
java.lang.Object object) |
Modifier and Type | Method and Description |
---|---|
Atom.Kind |
getKind() |
java.lang.Object |
getObject() |
static Atom |
newConcat(ru.ispras.fortress.expression.Node concat) |
static Atom |
newField(ru.ispras.fortress.expression.Node extract) |
static Atom |
newGroup(Var group) |
static Atom |
newValue(java.math.BigInteger value) |
static Atom |
newVariable(ru.ispras.fortress.data.Variable variable) |
java.lang.String |
toString() |
public Atom(Atom.Kind kind, java.lang.Object object)
public static Atom newValue(java.math.BigInteger value)
public static Atom newVariable(ru.ispras.fortress.data.Variable variable)
public static Atom newField(ru.ispras.fortress.expression.Node extract)
public static Atom newConcat(ru.ispras.fortress.expression.Node concat)
public Atom.Kind getKind()
public java.lang.Object getObject()
public java.lang.String toString()
toString
in class java.lang.Object