stabilizer::parser::DAGNode Member List

This is the complete list of members for stabilizer::parser::DAGNode, including all inherited members.

_use_count	stabilizer::parser::DAGNode	mutableprivate
cached_hash_code	stabilizer::parser::DAGNode	mutableprivate
children	stabilizer::parser::DAGNode	private
children_hash	stabilizer::parser::DAGNode	private
clear()	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, NODE_KIND kind, std::string name, std::vector< std::shared_ptr< DAGNode > > children)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, NODE_KIND kind, std::string name)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, NODE_KIND kind)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort)	stabilizer::parser::DAGNode	inline
DAGNode()	stabilizer::parser::DAGNode	inline
DAGNode(const DAGNode &other)	stabilizer::parser::DAGNode	inline
DAGNode(NODE_KIND kind, std::string name)	stabilizer::parser::DAGNode	inline
DAGNode(NODE_KIND kind)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, const Integer &v)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, const Real &v)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, const double &v)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, const int &v)	stabilizer::parser::DAGNode	inline
DAGNode(std::shared_ptr< Sort > sort, const bool &v)	stabilizer::parser::DAGNode	inline
DAGNode(const std::string &n)	stabilizer::parser::DAGNode	inline
decUseCount()	stabilizer::parser::DAGNode	inline
getChild(int i) const	stabilizer::parser::DAGNode	inline
getChildren() const	stabilizer::parser::DAGNode	inline
getChildrenSize() const	stabilizer::parser::DAGNode	inline
getFuncBody() const	stabilizer::parser::DAGNode	inline
getFuncParams() const	stabilizer::parser::DAGNode	inline
getFuncParamsSize() const	stabilizer::parser::DAGNode	inline
getKind() const	stabilizer::parser::DAGNode	inline
getName() const	stabilizer::parser::DAGNode	inline
getPureName() const	stabilizer::parser::DAGNode	inline
getQuantBody() const	stabilizer::parser::DAGNode	inline
getQuantVars() const	stabilizer::parser::DAGNode	inline
getSort() const	stabilizer::parser::DAGNode	inline
getUseCount() const	stabilizer::parser::DAGNode	inline
getValue() const	stabilizer::parser::DAGNode	inline
hash_computed	stabilizer::parser::DAGNode	mutableprivate
hashCode() const	stabilizer::parser::DAGNode	inline
incUseCount()	stabilizer::parser::DAGNode	inline
isAbs() const	stabilizer::parser::DAGNode	inline
isAcos() const	stabilizer::parser::DAGNode	inline
isAcosh() const	stabilizer::parser::DAGNode	inline
isAcot() const	stabilizer::parser::DAGNode	inline
isAcoth() const	stabilizer::parser::DAGNode	inline
isAcsc() const	stabilizer::parser::DAGNode	inline
isAcsch() const	stabilizer::parser::DAGNode	inline
isAdd() const	stabilizer::parser::DAGNode	inline
isAnd() const	stabilizer::parser::DAGNode	inline
isArithComp() const	stabilizer::parser::DAGNode	inline
isArithConv() const	stabilizer::parser::DAGNode	inline
isArithOp() const	stabilizer::parser::DAGNode	inline
isArithProp() const	stabilizer::parser::DAGNode	inline
isArithTerm() const	stabilizer::parser::DAGNode	inline
isArray() const	stabilizer::parser::DAGNode	inline
isArrayOp() const	stabilizer::parser::DAGNode	inline
isAsec() const	stabilizer::parser::DAGNode	inline
isAsech() const	stabilizer::parser::DAGNode	inline
isAsin() const	stabilizer::parser::DAGNode	inline
isAsinh() const	stabilizer::parser::DAGNode	inline
isAtan() const	stabilizer::parser::DAGNode	inline
isAtan2() const	stabilizer::parser::DAGNode	inline
isAtanh() const	stabilizer::parser::DAGNode	inline
isAtom() const	stabilizer::parser::DAGNode	inline
isAttribute() const	stabilizer::parser::DAGNode	inline
isAttributeParam() const	stabilizer::parser::DAGNode	inline
isBVAdd() const	stabilizer::parser::DAGNode	inline
isBVAnd() const	stabilizer::parser::DAGNode	inline
isBVASHR() const	stabilizer::parser::DAGNode	inline
isBvAtom() const	stabilizer::parser::DAGNode	inline
isBVComp() const	stabilizer::parser::DAGNode	inline
isBVCompOp() const	stabilizer::parser::DAGNode	inline
isBVConcat() const	stabilizer::parser::DAGNode	inline
isBVConv() const	stabilizer::parser::DAGNode	inline
isBVExtract() const	stabilizer::parser::DAGNode	inline
isBVLSHR() const	stabilizer::parser::DAGNode	inline
isBVMul() const	stabilizer::parser::DAGNode	inline
isBVNand() const	stabilizer::parser::DAGNode	inline
isBVNeg() const	stabilizer::parser::DAGNode	inline
isBVNegO() const	stabilizer::parser::DAGNode	inline
isBVNor() const	stabilizer::parser::DAGNode	inline
isBVNot() const	stabilizer::parser::DAGNode	inline
isBVOp() const	stabilizer::parser::DAGNode	inline
isBVOr() const	stabilizer::parser::DAGNode	inline
isBVRepeat() const	stabilizer::parser::DAGNode	inline
isBVRotLeft() const	stabilizer::parser::DAGNode	inline
isBVRotRight() const	stabilizer::parser::DAGNode	inline
isBVSAddO() const	stabilizer::parser::DAGNode	inline
isBVSDiv() const	stabilizer::parser::DAGNode	inline
isBVSDivO() const	stabilizer::parser::DAGNode	inline
isBVSge() const	stabilizer::parser::DAGNode	inline
isBVSgt() const	stabilizer::parser::DAGNode	inline
isBVShl() const	stabilizer::parser::DAGNode	inline
isBVSignExt() const	stabilizer::parser::DAGNode	inline
isBVSle() const	stabilizer::parser::DAGNode	inline
isBVSlt() const	stabilizer::parser::DAGNode	inline
isBVSMod() const	stabilizer::parser::DAGNode	inline
isBVSModO() const	stabilizer::parser::DAGNode	inline
isBVSMulO() const	stabilizer::parser::DAGNode	inline
isBVSRem() const	stabilizer::parser::DAGNode	inline
isBVSRemO() const	stabilizer::parser::DAGNode	inline
isBVSub() const	stabilizer::parser::DAGNode	inline
isBVTerm() const	stabilizer::parser::DAGNode	inline
isBVToInt() const	stabilizer::parser::DAGNode	inline
isBVToNat() const	stabilizer::parser::DAGNode	inline
isBVUAddO() const	stabilizer::parser::DAGNode	inline
isBVUDiv() const	stabilizer::parser::DAGNode	inline
isBVUDivO() const	stabilizer::parser::DAGNode	inline
isBVUge() const	stabilizer::parser::DAGNode	inline
isBVUgt() const	stabilizer::parser::DAGNode	inline
isBVUle() const	stabilizer::parser::DAGNode	inline
isBVUlt() const	stabilizer::parser::DAGNode	inline
isBVUMod() const	stabilizer::parser::DAGNode	inline
isBVUModO() const	stabilizer::parser::DAGNode	inline
isBVUMulO() const	stabilizer::parser::DAGNode	inline
isBVURem() const	stabilizer::parser::DAGNode	inline
isBVURemO() const	stabilizer::parser::DAGNode	inline
isBVXnor() const	stabilizer::parser::DAGNode	inline
isBVXor() const	stabilizer::parser::DAGNode	inline
isBVZeroExt() const	stabilizer::parser::DAGNode	inline
isCBool() const	stabilizer::parser::DAGNode	inline
isCBV() const	stabilizer::parser::DAGNode	inline
isCeil() const	stabilizer::parser::DAGNode	inline
isCFP() const	stabilizer::parser::DAGNode	inline
isCInt() const	stabilizer::parser::DAGNode	inline
isConst() const	stabilizer::parser::DAGNode	inline
isConstArray() const	stabilizer::parser::DAGNode	inline
isCos() const	stabilizer::parser::DAGNode	inline
isCosh() const	stabilizer::parser::DAGNode	inline
isCot() const	stabilizer::parser::DAGNode	inline
isCoth() const	stabilizer::parser::DAGNode	inline
isCReal() const	stabilizer::parser::DAGNode	inline
isCRoundingMode() const	stabilizer::parser::DAGNode	inline
isCsc() const	stabilizer::parser::DAGNode	inline
isCsch() const	stabilizer::parser::DAGNode	inline
isCStr() const	stabilizer::parser::DAGNode	inline
isDistinct() const	stabilizer::parser::DAGNode	inline
isDistinctBool() const	stabilizer::parser::DAGNode	inline
isDistinctOther() const	stabilizer::parser::DAGNode	inline
isDivInt() const	stabilizer::parser::DAGNode	inline
isDivisible() const	stabilizer::parser::DAGNode	inline
isDivReal() const	stabilizer::parser::DAGNode	inline
isDtFunApplication() const	stabilizer::parser::DAGNode	inline
isE() const	stabilizer::parser::DAGNode	inline
isEpsilon() const	stabilizer::parser::DAGNode	inline
isEq() const	stabilizer::parser::DAGNode	inline
isEqBool() const	stabilizer::parser::DAGNode	inline
isEqOther() const	stabilizer::parser::DAGNode	inline
isEquivalentTo(const std::shared_ptr< DAGNode > &other) const	stabilizer::parser::DAGNode	inline
isEquivalentTo(const DAGNode &other) const	stabilizer::parser::DAGNode	inline
isEquivalentTo(const DAGNode &other, std::unordered_set< std::pair< const DAGNode *, const DAGNode * >, PairNodePtrHash, PairNodePtrEqual > &visited) const	stabilizer::parser::DAGNode	inlineprivate
isErr() const	stabilizer::parser::DAGNode	inline
isEven() const	stabilizer::parser::DAGNode	inline
isExp() const	stabilizer::parser::DAGNode	inline
isFact() const	stabilizer::parser::DAGNode	inline
isFalse() const	stabilizer::parser::DAGNode	inline
isFloor() const	stabilizer::parser::DAGNode	inline
isFPAbs() const	stabilizer::parser::DAGNode	inline
isFPAdd() const	stabilizer::parser::DAGNode	inline
isFPComp() const	stabilizer::parser::DAGNode	inline
isFPConv() const	stabilizer::parser::DAGNode	inline
isFPDiv() const	stabilizer::parser::DAGNode	inline
isFPEq() const	stabilizer::parser::DAGNode	inline
isFPFMA() const	stabilizer::parser::DAGNode	inline
isFPGe() const	stabilizer::parser::DAGNode	inline
isFPGt() const	stabilizer::parser::DAGNode	inline
isFPIsInf() const	stabilizer::parser::DAGNode	inline
isFPIsNaN() const	stabilizer::parser::DAGNode	inline
isFPIsNeg() const	stabilizer::parser::DAGNode	inline
isFPIsNormal() const	stabilizer::parser::DAGNode	inline
isFPIsPos() const	stabilizer::parser::DAGNode	inline
isFPIsSubnormal() const	stabilizer::parser::DAGNode	inline
isFPIsZero() const	stabilizer::parser::DAGNode	inline
isFPLe() const	stabilizer::parser::DAGNode	inline
isFPLt() const	stabilizer::parser::DAGNode	inline
isFPMax() const	stabilizer::parser::DAGNode	inline
isFPMin() const	stabilizer::parser::DAGNode	inline
isFPMul() const	stabilizer::parser::DAGNode	inline
isFPNeg() const	stabilizer::parser::DAGNode	inline
isFPOp() const	stabilizer::parser::DAGNode	inline
isFPProp() const	stabilizer::parser::DAGNode	inline
isFPRem() const	stabilizer::parser::DAGNode	inline
isFPRoToInt() const	stabilizer::parser::DAGNode	inline
isFPRoundToIntegral() const	stabilizer::parser::DAGNode	inline
isFPSqrt() const	stabilizer::parser::DAGNode	inline
isFPSub() const	stabilizer::parser::DAGNode	inline
isFPToReal() const	stabilizer::parser::DAGNode	inline
isFPToSBV() const	stabilizer::parser::DAGNode	inline
isFPToUBV() const	stabilizer::parser::DAGNode	inline
isFuncApplication() const	stabilizer::parser::DAGNode	inline
isFuncDec() const	stabilizer::parser::DAGNode	inline
isFuncDef() const	stabilizer::parser::DAGNode	inline
isFuncParam() const	stabilizer::parser::DAGNode	inline
isFuncRec() const	stabilizer::parser::DAGNode	inline
isFuncRecApplication() const	stabilizer::parser::DAGNode	inline
isGcd() const	stabilizer::parser::DAGNode	inline
isGe() const	stabilizer::parser::DAGNode	inline
isGt() const	stabilizer::parser::DAGNode	inline
isIAnd() const	stabilizer::parser::DAGNode	inline
isImplies() const	stabilizer::parser::DAGNode	inline
isInfinity() const	stabilizer::parser::DAGNode	inline
isInt() const	stabilizer::parser::DAGNode	inline
isInternal() const	stabilizer::parser::DAGNode	inline
isIntToBV() const	stabilizer::parser::DAGNode	inline
isIte() const	stabilizer::parser::DAGNode	inline
isLb() const	stabilizer::parser::DAGNode	inline
isLcm() const	stabilizer::parser::DAGNode	inline
isLe() const	stabilizer::parser::DAGNode	inline
isLeaf() const	stabilizer::parser::DAGNode	inline
isLet() const	stabilizer::parser::DAGNode	inline
isLetBindVar() const	stabilizer::parser::DAGNode	inline
isLetBindVarList() const	stabilizer::parser::DAGNode	inline
isLetChain() const	stabilizer::parser::DAGNode	inline
isLg() const	stabilizer::parser::DAGNode	inline
isLiteral() const	stabilizer::parser::DAGNode	inline
isLn() const	stabilizer::parser::DAGNode	inline
isLog() const	stabilizer::parser::DAGNode	inline
isLt() const	stabilizer::parser::DAGNode	inline
isMax() const	stabilizer::parser::DAGNode	inline
isMin() const	stabilizer::parser::DAGNode	inline
isMod() const	stabilizer::parser::DAGNode	inline
isMul() const	stabilizer::parser::DAGNode	inline
isNaN() const	stabilizer::parser::DAGNode	inline
isNatToBV() const	stabilizer::parser::DAGNode	inline
isNeg() const	stabilizer::parser::DAGNode	inline
isNegEpsilon() const	stabilizer::parser::DAGNode	inline
isNegInfinity() const	stabilizer::parser::DAGNode	inline
isNeq() const	stabilizer::parser::DAGNode	inline
isNot() const	stabilizer::parser::DAGNode	inline
isNull() const	stabilizer::parser::DAGNode	inline
isNumeral() const	stabilizer::parser::DAGNode	inline
isOdd() const	stabilizer::parser::DAGNode	inline
isOr() const	stabilizer::parser::DAGNode	inline
isPi() const	stabilizer::parser::DAGNode	inline
isPlaceholderVar() const	stabilizer::parser::DAGNode	inline
isPosEpsilon() const	stabilizer::parser::DAGNode	inline
isPosInfinity() const	stabilizer::parser::DAGNode	inline
isPow() const	stabilizer::parser::DAGNode	inline
isPow2() const	stabilizer::parser::DAGNode	inline
isPrime() const	stabilizer::parser::DAGNode	inline
isQuantVar() const	stabilizer::parser::DAGNode	inline
isRealNonlinearOp() const	stabilizer::parser::DAGNode	inline
isRegAll() const	stabilizer::parser::DAGNode	inline
isRegAllChar() const	stabilizer::parser::DAGNode	inline
isRegComplement() const	stabilizer::parser::DAGNode	inline
isRegConcat() const	stabilizer::parser::DAGNode	inline
isRegDiff() const	stabilizer::parser::DAGNode	inline
isRegInter() const	stabilizer::parser::DAGNode	inline
isRegLoop() const	stabilizer::parser::DAGNode	inline
isRegNone() const	stabilizer::parser::DAGNode	inline
isRegOpt() const	stabilizer::parser::DAGNode	inline
isRegPlus() const	stabilizer::parser::DAGNode	inline
isRegRange() const	stabilizer::parser::DAGNode	inline
isRegRepeat() const	stabilizer::parser::DAGNode	inline
isRegStar() const	stabilizer::parser::DAGNode	inline
isRegUnion() const	stabilizer::parser::DAGNode	inline
isRound() const	stabilizer::parser::DAGNode	inline
isSafeSqrt() const	stabilizer::parser::DAGNode	inline
isSBVToInt() const	stabilizer::parser::DAGNode	inline
isSec() const	stabilizer::parser::DAGNode	inline
isSech() const	stabilizer::parser::DAGNode	inline
isSelect() const	stabilizer::parser::DAGNode	inline
isSin() const	stabilizer::parser::DAGNode	inline
isSinh() const	stabilizer::parser::DAGNode	inline
isSqrt() const	stabilizer::parser::DAGNode	inline
isStore() const	stabilizer::parser::DAGNode	inline
isStrCharat() const	stabilizer::parser::DAGNode	inline
isStrComp() const	stabilizer::parser::DAGNode	inline
isStrConcat() const	stabilizer::parser::DAGNode	inline
isStrContains() const	stabilizer::parser::DAGNode	inline
isStrConv() const	stabilizer::parser::DAGNode	inline
isStrEq() const	stabilizer::parser::DAGNode	inline
isStrFromCode() const	stabilizer::parser::DAGNode	inline
isStrFromInt() const	stabilizer::parser::DAGNode	inline
isStrGe() const	stabilizer::parser::DAGNode	inline
isStrGt() const	stabilizer::parser::DAGNode	inline
isStrIndexof() const	stabilizer::parser::DAGNode	inline
isStrInReg() const	stabilizer::parser::DAGNode	inline
isStrIsDigit() const	stabilizer::parser::DAGNode	inline
isStrLe() const	stabilizer::parser::DAGNode	inline
isStrLen() const	stabilizer::parser::DAGNode	inline
isStrLt() const	stabilizer::parser::DAGNode	inline
isStrNumSplits() const	stabilizer::parser::DAGNode	inline
isStrNumSplitsRe() const	stabilizer::parser::DAGNode	inline
isStrOp() const	stabilizer::parser::DAGNode	inline
isStrPrefixof() const	stabilizer::parser::DAGNode	inline
isStrProp() const	stabilizer::parser::DAGNode	inline
isStrReplace() const	stabilizer::parser::DAGNode	inline
isStrReplaceAll() const	stabilizer::parser::DAGNode	inline
isStrRev() const	stabilizer::parser::DAGNode	inline
isStrSplit() const	stabilizer::parser::DAGNode	inline
isStrSplitAt() const	stabilizer::parser::DAGNode	inline
isStrSplitAtRe() const	stabilizer::parser::DAGNode	inline
isStrSplitRest() const	stabilizer::parser::DAGNode	inline
isStrSplitRestRe() const	stabilizer::parser::DAGNode	inline
isStrSubstr() const	stabilizer::parser::DAGNode	inline
isStrSuffixof() const	stabilizer::parser::DAGNode	inline
isStrToCode() const	stabilizer::parser::DAGNode	inline
isStrToInt() const	stabilizer::parser::DAGNode	inline
isStrToLower() const	stabilizer::parser::DAGNode	inline
isStrToReg() const	stabilizer::parser::DAGNode	inline
isStrToUpper() const	stabilizer::parser::DAGNode	inline
isStrUpdate() const	stabilizer::parser::DAGNode	inline
isSub() const	stabilizer::parser::DAGNode	inline
isTan() const	stabilizer::parser::DAGNode	inline
isTanh() const	stabilizer::parser::DAGNode	inline
isTempVar() const	stabilizer::parser::DAGNode	inline
isToFP() const	stabilizer::parser::DAGNode	inline
isToFPUnsigned() const	stabilizer::parser::DAGNode	inline
isToInt() const	stabilizer::parser::DAGNode	inline
isToReal() const	stabilizer::parser::DAGNode	inline
isTranscendentalOp() const	stabilizer::parser::DAGNode	inline
isTrue() const	stabilizer::parser::DAGNode	inline
isUBVToInt() const	stabilizer::parser::DAGNode	inline
isUFApplication() const	stabilizer::parser::DAGNode	inline
isUFName() const	stabilizer::parser::DAGNode	inline
isUnknown() const	stabilizer::parser::DAGNode	inline
isVar() const	stabilizer::parser::DAGNode	inline
isVBool() const	stabilizer::parser::DAGNode	inline
isVBV() const	stabilizer::parser::DAGNode	inline
isVFP() const	stabilizer::parser::DAGNode	inline
isVInt() const	stabilizer::parser::DAGNode	inline
isVReal() const	stabilizer::parser::DAGNode	inline
isVReg() const	stabilizer::parser::DAGNode	inline
isVRoundingMode() const	stabilizer::parser::DAGNode	inline
isVStr() const	stabilizer::parser::DAGNode	inline
isVUF() const	stabilizer::parser::DAGNode	inline
isXor() const	stabilizer::parser::DAGNode	inline
kind	stabilizer::parser::DAGNode	private
name	stabilizer::parser::DAGNode	private
operator!=(const DAGNode elem)	stabilizer::parser::DAGNode	inline
operator==(const DAGNode elem)	stabilizer::parser::DAGNode	inline
rename(const std::string &new_name)	stabilizer::parser::DAGNode	inline
replace_children(const std::vector< std::shared_ptr< DAGNode > > &new_children)	stabilizer::parser::DAGNode	inline
setName(const std::string &n)	stabilizer::parser::DAGNode	inline
setValue(std::shared_ptr< Value > v)	stabilizer::parser::DAGNode	inline
setValue(const Integer &v)	stabilizer::parser::DAGNode	inline
setValue(const Real &v)	stabilizer::parser::DAGNode	inline
setValue(const double &v)	stabilizer::parser::DAGNode	inline
setValue(const int &v)	stabilizer::parser::DAGNode	inline
setValue(const Interval &v)	stabilizer::parser::DAGNode	inline
sort	stabilizer::parser::DAGNode	private
toString() const	stabilizer::parser::DAGNode	inline
updateApplyFunc(std::shared_ptr< Sort > out_sort, std::shared_ptr< DAGNode > body, const std::vector< std::shared_ptr< DAGNode > > &params, bool is_rec=false)	stabilizer::parser::DAGNode
updateFuncDef(std::shared_ptr< Sort > out_sort, std::shared_ptr< DAGNode > body, const std::vector< std::shared_ptr< DAGNode > > &params, bool is_rec=false)	stabilizer::parser::DAGNode
value	stabilizer::parser::DAGNode	private