public abstract class MetaArithBitMaskOp extends AbstractTermTransformer
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
Constructor and Description |
---|
MetaArithBitMaskOp(Name name) |
Modifier and Type | Method and Description |
---|---|
protected abstract java.math.BigInteger |
bitmaskOp(java.math.BigInteger left,
java.math.BigInteger right) |
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 MetaArithBitMaskOp(Name name)
protected abstract java.math.BigInteger bitmaskOp(java.math.BigInteger left, java.math.BigInteger right)
public Term transform(Term term, SVInstantiations svInst, Services services)
TermTransformer