de.uka.ilkd.key.rule.metaconstruct.arith

Class MetaBinaryXOr

java.lang.Object

de.uka.ilkd.key.logic.op.AbstractOperator

de.uka.ilkd.key.logic.op.AbstractSortedOperator

de.uka.ilkd.key.logic.op.AbstractTermTransformer

de.uka.ilkd.key.rule.metaconstruct.arith.MetaArithBitMaskOp

de.uka.ilkd.key.rule.metaconstruct.arith.MetaBinaryXOr

All Implemented Interfaces:

Named, Operator, SortedOperator, SVSubstitute, TermTransformer, Sorted

public final class MetaBinaryXOr
extends MetaArithBitMaskOp

Field Summary

Fields inherited from class de.uka.ilkd.key.logic.op.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 Summary

Constructors

Constructor and Description
MetaBinaryXOr()

Method Summary

Modifier and Type	Method and Description
protected java.math.BigInteger	bitmaskOp(java.math.BigInteger left, java.math.BigInteger right)

Methods inherited from class de.uka.ilkd.key.rule.metaconstruct.arith.MetaArithBitMaskOp

transform

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractTermTransformer

convertToDecimalString, name2metaop

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractSortedOperator

additionalValidTopLevel, additionalValidTopLevel2, argSort, argSorts, sort, sort

Methods inherited from class de.uka.ilkd.key.logic.op.AbstractOperator

arity, bindVarsAt, isRigid, name, toString, validTopLevel, whereToBind

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.logic.op.SortedOperator

argSort, argSorts, sort

Methods inherited from interface de.uka.ilkd.key.logic.op.Operator

arity, bindVarsAt, isRigid, sort, validTopLevel

Methods inherited from interface de.uka.ilkd.key.logic.Named

name

Constructor Detail

MetaBinaryXOr

public MetaBinaryXOr()

Method Detail

bitmaskOp

protected java.math.BigInteger bitmaskOp(java.math.BigInteger left,
                                         java.math.BigInteger right)

Specified by:

bitmaskOp in class MetaArithBitMaskOp