public final class MetaBinaryAnd extends MetaArithBitMaskOp
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 |
---|
MetaBinaryAnd() |
Modifier and Type | Method and Description |
---|---|
protected java.math.BigInteger |
bitmaskOp(java.math.BigInteger left,
java.math.BigInteger right) |
transform
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
protected java.math.BigInteger bitmaskOp(java.math.BigInteger left, java.math.BigInteger right)
bitmaskOp
in class MetaArithBitMaskOp