public abstract class MetaShift extends AbstractTermTransformer
Modifier and Type | Field and Description |
---|---|
static java.math.BigInteger |
INT_MAX_VALUE |
static java.math.BigInteger |
INT_MIN_VALUE |
ADD_CAST, ARRAY_BASE_INSTANCE_OF, CONSTANT_VALUE, DIVIDE_LCR_MONOMIALS, DIVIDE_MONOMIALS, ENUM_CONSTANT_VALUE, EXPAND_QUERIES, INTRODUCE_ATPRE_DEFINITIONS, MEMBER_PV_TO_FIELD, META_ADD, META_AND, META_DIV, META_EQ, META_GEQ, META_GREATER, META_LEQ, META_LESS, META_MUL, META_OR, META_POW, META_SHIFTLEFT, META_SHIFTRIGHT, META_SUB, META_XOR, METASORT
Modifier | Constructor and Description |
---|---|
protected |
MetaShift(Name name) |
Modifier and Type | Method and Description |
---|---|
protected abstract java.math.BigInteger |
shiftOp(java.math.BigInteger result,
java.math.BigInteger rightOp) |
Term |
transform(Term term,
SVInstantiations svInst,
Services services)
initiates term transformation of term.
|
convertToDecimalString, name2metaop
additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort
arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
public static final java.math.BigInteger INT_MIN_VALUE
public static final java.math.BigInteger INT_MAX_VALUE
protected MetaShift(Name name)
public Term transform(Term term, SVInstantiations svInst, Services services)
TermTransformer
protected abstract java.math.BigInteger shiftOp(java.math.BigInteger result, java.math.BigInteger rightOp)