class ArithTermFeatures extends StaticFeatureCollection
Modifier and Type | Field and Description |
---|---|
(package private) Function |
add |
(package private) TermFeature |
addF |
(package private) TermFeature |
atLeastTwoCoeffMonomial |
(package private) TermFeature |
atLeastTwoLiteral |
(package private) TermFeature |
atom |
(package private) Function |
C |
(package private) TermFeature |
charLiteral |
(package private) TermFeature |
constant |
(package private) Function |
div |
(package private) TermFeature |
divF |
(package private) Operator |
eq |
(package private) TermFeature |
eqF |
(package private) Function |
geq |
(package private) TermFeature |
geqF |
(package private) TermFeature |
intEquation |
(package private) TermFeature |
intF |
(package private) TermFeature |
intInEquation |
(package private) TermFeature |
intRelation |
(package private) Sort |
intS |
(package private) Function |
jdiv |
(package private) TermFeature |
jdivF |
(package private) Function |
jmod |
(package private) TermFeature |
jmodF |
(package private) Function |
leq |
(package private) TermFeature |
leqF |
(package private) TermFeature |
linearEquation |
(package private) TermFeature |
linearInEquation |
(package private) TermFeature |
linearMonomial |
(package private) TermFeature |
literal |
(package private) Function |
mod |
(package private) TermFeature |
modF |
(package private) TermFeature |
monomial |
(package private) TermFeature |
monomialEquation |
(package private) Function |
mul |
(package private) TermFeature |
mulF |
(package private) TermFeature |
negLiteral |
(package private) TermFeature |
negMonomial |
(package private) TermFeature |
nonCoeffMonomial |
(package private) TermFeature |
nonNegLiteral |
(package private) TermFeature |
nonNegMonomial |
(package private) TermFeature |
nonNegOrNonCoeffMonomial |
(package private) TermFeature |
nonPosLiteral |
(package private) TermFeature |
notContainsDivMod |
(package private) TermFeature |
notContainsProduct |
(package private) TermFeature |
oneLiteral |
(package private) TermFeature |
polynomial |
(package private) TermFeature |
posLiteral |
(package private) TermFeature |
posMonomial |
(package private) Function |
Z |
(package private) TermFeature |
zeroLiteral |
Constructor and Description |
---|
ArithTermFeatures(IntegerLDT numbers) |
add, add, add, add, add, any, applyTF, applyTF, applyTFNonStrict, applyTFNonStrict, atomSmallerThan, blockContractExternalFeature, blockContractInternalFeature, c, contains, countOccurrences, eq, eq, eq, extendsTrans, ifZero, ifZero, ifZero, ifZero, implicitCastNecessary, inftyConst, inftyTermConst, instOf, instOfNonStrict, instOfTriggerVariable, isInstantiated, isSubSortFeature, isTriggerVariableInstantiated, leq, less, let, literalsSmallerThan, longConst, longTermConst, loopContractApplyHead, loopContractExternalFeature, loopContractInternalFeature, loopInvFeature, mergeRuleFeature, methodSpecFeature, monSmallerThan, not, not, op, opSub, opSub, opTerm, opTerm, opTerm, or, or, or, or, or, println, querySpecFeature, rec, sequentContainsNoPrograms, sub, sub, sub, subAt, sum, termSmallerThan
final Sort intS
final Function Z
final Function C
final Function add
final Function mul
final Function mod
final Function div
final Function jmod
final Function jdiv
final Operator eq
final Function leq
final Function geq
final TermFeature intF
final TermFeature addF
final TermFeature mulF
final TermFeature modF
final TermFeature divF
final TermFeature jmodF
final TermFeature jdivF
final TermFeature eqF
final TermFeature leqF
final TermFeature geqF
final TermFeature constant
final TermFeature atom
final TermFeature linearMonomial
final TermFeature monomial
final TermFeature polynomial
final TermFeature literal
final TermFeature posLiteral
final TermFeature negLiteral
final TermFeature nonNegLiteral
final TermFeature nonPosLiteral
final TermFeature zeroLiteral
final TermFeature oneLiteral
final TermFeature atLeastTwoLiteral
final TermFeature charLiteral
final TermFeature nonNegMonomial
final TermFeature posMonomial
final TermFeature negMonomial
final TermFeature nonCoeffMonomial
final TermFeature nonNegOrNonCoeffMonomial
final TermFeature atLeastTwoCoeffMonomial
final TermFeature intEquation
final TermFeature linearEquation
final TermFeature monomialEquation
final TermFeature intInEquation
final TermFeature linearInEquation
final TermFeature intRelation
final TermFeature notContainsProduct
final TermFeature notContainsDivMod
public ArithTermFeatures(IntegerLDT numbers)