FuncKind enum
Constructors
- FuncKind()
-
const
Values
- trueFunc → const FuncKind
- falseFunc → const FuncKind
- eq → const FuncKind
- distinct → const FuncKind
- ite → const FuncKind
- and → const FuncKind
- or → const FuncKind
- xor → const FuncKind
- not → const FuncKind
- implies → const FuncKind
- oeq → const FuncKind
- anum → const FuncKind
- agnum → const FuncKind
- le → const FuncKind
- ge → const FuncKind
- lt → const FuncKind
- gt → const FuncKind
- add → const FuncKind
- sub → const FuncKind
- uminus → const FuncKind
- mul → const FuncKind
- div → const FuncKind
- idiv → const FuncKind
- rem → const FuncKind
- mod → const FuncKind
- toReal → const FuncKind
- toInt → const FuncKind
- isInt → const FuncKind
- power → const FuncKind
- store → const FuncKind
- select → const FuncKind
- constArray → const FuncKind
- arrayMap → const FuncKind
- arrayDefault → const FuncKind
- setUnion → const FuncKind
- setIntersect → const FuncKind
- setDifference → const FuncKind
- setComplement → const FuncKind
- setSubset → const FuncKind
- asArray → const FuncKind
- arrayExt → const FuncKind
- setHasSize → const FuncKind
- setCard → const FuncKind
- bnum → const FuncKind
- bit1 → const FuncKind
- bit0 → const FuncKind
- bneg → const FuncKind
- badd → const FuncKind
- bsub → const FuncKind
- bmul → const FuncKind
- bsdiv → const FuncKind
- budiv → const FuncKind
- bsrem → const FuncKind
- burem → const FuncKind
- bsmod → const FuncKind
- bsdiv0 → const FuncKind
- budiv0 → const FuncKind
- bsrem0 → const FuncKind
- burem0 → const FuncKind
- bsmod0 → const FuncKind
- uleq → const FuncKind
- sleq → const FuncKind
- ugeq → const FuncKind
- sgeq → const FuncKind
- ult → const FuncKind
- slt → const FuncKind
- ugt → const FuncKind
- sgt → const FuncKind
- band → const FuncKind
- bor → const FuncKind
- bnot → const FuncKind
- bxor → const FuncKind
- bnand → const FuncKind
- bnor → const FuncKind
- bxnor → const FuncKind
- concat → const FuncKind
- signExt → const FuncKind
- zeroExt → const FuncKind
- extract → const FuncKind
- repeat → const FuncKind
- bredor → const FuncKind
- bredand → const FuncKind
- bcomp → const FuncKind
- bshl → const FuncKind
- blshr → const FuncKind
- bashr → const FuncKind
- rotateLeft → const FuncKind
- rotateRight → const FuncKind
- extRotateLeft → const FuncKind
- extRotateRight → const FuncKind
- bitTobool → const FuncKind
- intToBv → const FuncKind
- bvToInt → const FuncKind
- carry → const FuncKind
- xor3 → const FuncKind
- bsmulNoOvfl → const FuncKind
- bumulNoOvfl → const FuncKind
- bsmulNoUdfl → const FuncKind
- bsdivI → const FuncKind
- budivI → const FuncKind
- bsremI → const FuncKind
- buremI → const FuncKind
- bsmodI → const FuncKind
- prUndef → const FuncKind
- prTrue → const FuncKind
- prAsserted → const FuncKind
- prGoal → const FuncKind
- prModusPonens → const FuncKind
- prReflexivity → const FuncKind
- prSymmetry → const FuncKind
- prTransitivity → const FuncKind
- prTransitivityStar → const FuncKind
- prMonotonicity → const FuncKind
- prQuantIntro → const FuncKind
- prBind → const FuncKind
- prDistributivity → const FuncKind
- prAndElim → const FuncKind
- prNotOrElim → const FuncKind
- prRewrite → const FuncKind
- prRewriteStar → const FuncKind
- prPullQuant → const FuncKind
- prPushQuant → const FuncKind
- prElimUnusedVars → const FuncKind
- prDer → const FuncKind
- prQuantInst → const FuncKind
- prHypothesis → const FuncKind
- prLemma → const FuncKind
- prUnitResolution → const FuncKind
- prIffTrue → const FuncKind
- prIffFalse → const FuncKind
- prCommutativity → const FuncKind
- prDefAxiom → const FuncKind
- prAssumptionAdd → const FuncKind
- prLemmaAdd → const FuncKind
- prRedundantDel → const FuncKind
- prClauseTrail → const FuncKind
- prDefIntro → const FuncKind
- prApplyDef → const FuncKind
- prIffOeq → const FuncKind
- prNnfPos → const FuncKind
- prNnfNeg → const FuncKind
- prSkolemize → const FuncKind
- prModusPonensOeq → const FuncKind
- prThLemma → const FuncKind
- prHyperResolve → const FuncKind
- raStore → const FuncKind
- raEmpty → const FuncKind
- raIsEmpty → const FuncKind
- raJoin → const FuncKind
- raUnion → const FuncKind
- raWiden → const FuncKind
- raProject → const FuncKind
- raFilter → const FuncKind
- raNegationFilter → const FuncKind
- raRename → const FuncKind
- raComplement → const FuncKind
- raSelect → const FuncKind
- raClone → const FuncKind
- fdConstant → const FuncKind
- fdLt → const FuncKind
- seqUnit → const FuncKind
- seqEmpty → const FuncKind
- seqConcat → const FuncKind
- seqPrefix → const FuncKind
- seqSuffix → const FuncKind
- seqContains → const FuncKind
- seqExtract → const FuncKind
- seqReplace → const FuncKind
- seqReplaceRe → const FuncKind
- seqReplaceReAll → const FuncKind
- seqReplaceAll → const FuncKind
- seqAt → const FuncKind
- seqNth → const FuncKind
- seqLength → const FuncKind
- seqIndex → const FuncKind
- seqLastIndex → const FuncKind
- seqToRe → const FuncKind
- seqInRe → const FuncKind
- strToInt → const FuncKind
- intToStr → const FuncKind
- ubvToStr → const FuncKind
- sbvToStr → const FuncKind
- strToCode → const FuncKind
- strFromCode → const FuncKind
- stringLt → const FuncKind
- stringLe → const FuncKind
- rePlus → const FuncKind
- reStar → const FuncKind
- reOption → const FuncKind
- reConcat → const FuncKind
- reUnion → const FuncKind
- reRange → const FuncKind
- reDiff → const FuncKind
- reIntersect → const FuncKind
- reLoop → const FuncKind
- rePower → const FuncKind
- reComplement → const FuncKind
- reEmptySet → const FuncKind
- reFullSet → const FuncKind
- reFullCharSet → const FuncKind
- reOfPred → const FuncKind
- reReverse → const FuncKind
- reDerivative → const FuncKind
- charConst → const FuncKind
- charLe → const FuncKind
- charToInt → const FuncKind
- charToBv → const FuncKind
- charFromBv → const FuncKind
- charIsDigit → const FuncKind
- label → const FuncKind
- labelLit → const FuncKind
- dtConstructor → const FuncKind
- dtRecogniser → const FuncKind
- dtIs → const FuncKind
- dtAccessor → const FuncKind
- dtUpdateField → const FuncKind
- pbAtMost → const FuncKind
- pbAtLeast → const FuncKind
- pbLe → const FuncKind
- pbGe → const FuncKind
- pbEq → const FuncKind
- specialRelationLo → const FuncKind
- specialRelationPo → const FuncKind
- specialRelationPlo → const FuncKind
- specialRelationTo → const FuncKind
- specialRelationTc → const FuncKind
- specialRelationTrc → const FuncKind
- fpaRmNearestTiesToEven → const FuncKind
- fpaRmNearestTiesToAway → const FuncKind
- fpaRmTowardPositive → const FuncKind
- fpaRmTowardNegative → const FuncKind
- fpaRmTowardZero → const FuncKind
- fpaNum → const FuncKind
- fpaPlusInf → const FuncKind
- fpaMinusInf → const FuncKind
- fpaNan → const FuncKind
- fpaPlusZero → const FuncKind
- fpaMinusZero → const FuncKind
- fpaAdd → const FuncKind
- fpaSub → const FuncKind
- fpaNeg → const FuncKind
- fpaMul → const FuncKind
- fpaDiv → const FuncKind
- fpaRem → const FuncKind
- fpaAbs → const FuncKind
- fpaMin → const FuncKind
- fpaMax → const FuncKind
- fpaFma → const FuncKind
- fpaSqrt → const FuncKind
- fpaRoundToIntegral → const FuncKind
- fpaEq → const FuncKind
- fpaLt → const FuncKind
- fpaGt → const FuncKind
- fpaLe → const FuncKind
- fpaGe → const FuncKind
- fpaIsNan → const FuncKind
- fpaIsInf → const FuncKind
- fpaIsZero → const FuncKind
- fpaIsNormal → const FuncKind
- fpaIsSubnormal → const FuncKind
- fpaIsNegative → const FuncKind
- fpaIsPositive → const FuncKind
- fpaFp → const FuncKind
- fpaToFp → const FuncKind
- fpaToFpUnsigned → const FuncKind
- fpaToUbv → const FuncKind
- fpaToSbv → const FuncKind
- fpaToReal → const FuncKind
- fpaToIeeeBv → const FuncKind
- fpaBvwrap → const FuncKind
- fpaBv2rm → const FuncKind
- internal → const FuncKind
- recursive → const FuncKind
- uninterpreted → const FuncKind
Properties
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited