de.uka.ilkd.key.rule.metaconstruct.arith (KeY API Documentation)

contains classes representing the special meta constructs of Taclets performing arithmetic operations.

Class Summary
Class	Description
DivideLCRMonomials	Metaoperator for computing the result of dividing one monomial by another
DivideMonomials	Metaoperator for computing the result of dividing one monomial by another
MetaAdd
MetaArithBitMaskOp
MetaBinaryAnd
MetaBinaryOr
MetaBinaryXOr
MetaDiv
MetaEqual
MetaGeq
MetaGreater
MetaLeq
MetaLess
MetaMul
MetaPow	Computes the pow function for literals.
MetaShift
MetaShiftLeft
MetaShiftRight
MetaSub
Monomial	Class for analysing and modifying monomial expressions over the integers
Monomial.Analyser
Polynomial	Class for analysing and modifying polynomial expressions over the integers
Polynomial.Analyser

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

contains classes representing the special meta constructs of Taclets performing arithmetic operations. Last modified: Tue Nov 26 08:54:55 MET 2002