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() |
java.lang.String |
getText() |
int |
getWidth() |
static Atom |
newConcat(java.util.List<IntegerField> fields) |
static Atom |
newField(IntegerField field) |
static Atom |
newGroup(Variable group) |
static Atom |
newValue(java.math.BigInteger value) |
static Atom |
newVariable(IntegerVariable 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(IntegerVariable variable)
public static Atom newField(IntegerField field)
public static Atom newConcat(java.util.List<IntegerField> fields)
public Atom.Kind getKind()
public java.lang.Object getObject()
public int getWidth()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String getText()