class FormulaTermFeatures extends StaticFeatureCollection
Modifier and Type | Field and Description |
---|---|
(package private) TermFeature |
andF |
(package private) TermFeature |
atom |
(package private) TermFeature |
clause |
(package private) TermFeature |
clauseSet |
(package private) TermFeature |
cutAllowed |
(package private) TermFeature |
cutAllowedBelowQuantifier |
(package private) TermFeature |
cutPriority |
(package private) TermFeature |
elemUpdate |
(package private) TermFeature |
forF |
(package private) TermFeature |
ifThenElse |
(package private) TermFeature |
impF |
(package private) TermFeature |
literal |
(package private) TermFeature |
modalOperator |
(package private) TermFeature |
notContainsExecutable |
(package private) TermFeature |
notExecutable |
(package private) TermFeature |
notF |
(package private) TermFeature |
orF |
(package private) TermFeature |
program |
(package private) TermFeature |
propJunctor |
(package private) TermFeature |
pureLitConjDisj |
(package private) TermFeature |
quantifiedAnd |
(package private) TermFeature |
quantifiedClauseSet |
(package private) TermFeature |
quantifiedFor |
(package private) TermFeature |
quantifiedOr |
(package private) TermFeature |
quantifiedPureLitConjDisj |
(package private) TermFeature |
update |
Constructor and Description |
---|
FormulaTermFeatures(ArithTermFeatures tf) |
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 TermFeature forF
final TermFeature orF
final TermFeature andF
final TermFeature impF
final TermFeature notF
final TermFeature propJunctor
final TermFeature ifThenElse
final TermFeature notExecutable
final TermFeature notContainsExecutable
final TermFeature quantifiedFor
final TermFeature quantifiedOr
final TermFeature quantifiedAnd
final TermFeature atom
final TermFeature literal
final TermFeature clause
final TermFeature clauseSet
final TermFeature quantifiedClauseSet
final TermFeature pureLitConjDisj
final TermFeature quantifiedPureLitConjDisj
final TermFeature elemUpdate
final TermFeature update
final TermFeature program
final TermFeature modalOperator
final TermFeature cutAllowed
final TermFeature cutAllowedBelowQuantifier
final TermFeature cutPriority
public FormulaTermFeatures(ArithTermFeatures tf)