stabilizer::parser::Parser Member List

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

allow_placeholder_vars	stabilizer::parser::Parser	private
applyDNFDistributiveLaw(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser	private
applyDNFDistributiveLawRec(std::shared_ptr< DAGNode > expr, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &visited)	stabilizer::parser::Parser	private
applyFun(std::shared_ptr< DAGNode > fun, const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
applyFunPostOrder(std::shared_ptr< DAGNode > node, std::unordered_map< std::string, std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser	private
assert(const std::string &constraint)	stabilizer::parser::Parser
assert(std::shared_ptr< DAGNode > node)	stabilizer::parser::Parser
assertion_groups	stabilizer::parser::Parser
assertions	stabilizer::parser::Parser
assumptions	stabilizer::parser::Parser
attemptParseKeywords()	stabilizer::parser::Parser	private
bindFunVar(const std::string &key, std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser	private
bindLetVar(const std::string &key, std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser	private
buffer	stabilizer::parser::Parser	private
buflen	stabilizer::parser::Parser	private
bufptr	stabilizer::parser::Parser	private
checkSat()	stabilizer::parser::Parser
clear_let_key_map()	stabilizer::parser::Parser	inline
cnf_atom_map	stabilizer::parser::Parser	private
cnf_bool_var_map	stabilizer::parser::Parser	private
cnf_map	stabilizer::parser::Parser	private
collectAtoms(std::shared_ptr< DAGNode > expr, std::unordered_set< std::shared_ptr< DAGNode > > &atoms, std::unordered_set< std::shared_ptr< DAGNode > > &visited)	stabilizer::parser::Parser	private
collectGroundAtoms(std::shared_ptr< DAGNode > expr, std::unordered_set< std::shared_ptr< DAGNode > > &atoms, std::unordered_set< std::shared_ptr< DAGNode > > &visited)	stabilizer::parser::Parser	private
collectVars(std::shared_ptr< DAGNode > expr, std::unordered_set< std::shared_ptr< DAGNode > > &vars, std::unordered_set< std::shared_ptr< DAGNode > > &visited)	stabilizer::parser::Parser	private
current_let_mode	stabilizer::parser::Parser	private
datatype_blocks	stabilizer::parser::Parser	private
datatype_function_names	stabilizer::parser::Parser	private
datatype_sort_names	stabilizer::parser::Parser	private
declareVar(const std::string &name, const std::string &sort)	stabilizer::parser::Parser
declareVar(const std::string &name, const std::shared_ptr< Sort > &sort)	stabilizer::parser::Parser
dnf_map	stabilizer::parser::Parser	private
dumpSMT2()	stabilizer::parser::Parser
dumpSMT2(const std::string &filename)	stabilizer::parser::Parser
ensureNumberValue(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
err_all(const ERROR_TYPE e, const std::string s="", const size_t ln=0) const	stabilizer::parser::Parser	private
err_all(const std::shared_ptr< DAGNode > e, const std::string s="", const size_t ln=0) const	stabilizer::parser::Parser	private
err_arity_mis(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_keyword(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_logic(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_mul_decl(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_mul_def(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_neg_param(const size_t ln) const	stabilizer::parser::Parser	private
err_open_file(const std::string) const	stabilizer::parser::Parser	private
err_param_mis(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_param_nbool(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_param_nnum(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_param_nsame(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_sym_mis(const std::string mis, const size_t ln) const	stabilizer::parser::Parser	private
err_sym_mis(const std::string mis, const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_type_mis(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_unexp_eof() const	stabilizer::parser::Parser	private
err_unkwn_sym(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
err_zero_divisor(const size_t ln) const	stabilizer::parser::Parser	private
expandLet(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
flattenDNF(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser	private
fun_dup_count_map	stabilizer::parser::Parser	private
fun_key_map	stabilizer::parser::Parser	private
fun_var_map	stabilizer::parser::Parser	private
function_names	stabilizer::parser::Parser	private
getAddOp(std::shared_ptr< Sort > sort)	stabilizer::parser::Parser
getArity(NODE_KIND k) const	stabilizer::parser::Parser
getAssertions() const	stabilizer::parser::Parser
getAssumptions() const	stabilizer::parser::Parser
getDatatypeBlocks()	stabilizer::parser::Parser	inline
getDeclaredVariables() const	stabilizer::parser::Parser
getEvaluatePrecision() const	stabilizer::parser::Parser
getEvaluateUseFloating() const	stabilizer::parser::Parser
getFunctionNames()	stabilizer::parser::Parser	inline
getFunctions() const	stabilizer::parser::Parser
getFunKeyMap()	stabilizer::parser::Parser	inline
getGroupedAssertions() const	stabilizer::parser::Parser
getGroupedSoftAssertions() const	stabilizer::parser::Parser
getKind(const std::string &s)	stabilizer::parser::Parser
getKind(const std::shared_ptr< DAGNode > &node)	stabilizer::parser::Parser
getNegatedKind(NODE_KIND kind)	stabilizer::parser::Parser
getNodeCount()	stabilizer::parser::Parser
getNodeManager()	stabilizer::parser::Parser	inline
getOptions() const	stabilizer::parser::Parser
getResult()	stabilizer::parser::Parser
getResultType()	stabilizer::parser::Parser
getSoftAssertions() const	stabilizer::parser::Parser
getSoftWeights() const	stabilizer::parser::Parser
getSort(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
getSort(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
getSort(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
getSort(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > m)	stabilizer::parser::Parser
getSortNames()	stabilizer::parser::Parser	inline
getSplitLemmas()	stabilizer::parser::Parser
getSymbol()	stabilizer::parser::Parser	private
getTempVarNames()	stabilizer::parser::Parser	inline
getVariable(const std::string &var_name)	stabilizer::parser::Parser
getVariables() const	stabilizer::parser::Parser
getVarNames()	stabilizer::parser::Parser	inline
getZero(std::shared_ptr< Sort > sort)	stabilizer::parser::Parser
in_quantifier_scope	stabilizer::parser::Parser	private
isCommutative(NODE_KIND t)	stabilizer::parser::Parser	static
isDeclaredFunction(const std::string &func_name) const	stabilizer::parser::Parser
isDeclaredVariable(const std::string &var_name) const	stabilizer::parser::Parser
isOne(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
isOnes(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
isZero(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
let_key_map	stabilizer::parser::Parser	private
let_nesting_depth	stabilizer::parser::Parser	private
line_number	stabilizer::parser::Parser	private
mkAbs(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAcos(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAcosh(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAcot(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAcoth(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAcsc(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAcsch(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAdd(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkAnd(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkApplyDTFun(const std::shared_ptr< Sort > &sort, const std::string &name, const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkApplyFunc(std::shared_ptr< DAGNode > fun, const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkApplyRecFunc(std::shared_ptr< DAGNode > fun, const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkApplyUF(const std::shared_ptr< Sort > &sort, const std::string &name, const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkArray(const std::string &name, std::shared_ptr< Sort > index, std::shared_ptr< Sort > elem)	stabilizer::parser::Parser
mkArraySort(std::shared_ptr< Sort > index, std::shared_ptr< Sort > elem)	stabilizer::parser::Parser
mkAsec(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAsech(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAsin(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAsinh(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAtan(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAtan2(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkAtanh(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkAttribute(const std::shared_ptr< Sort > &sort, const std::string &name, const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBoolSort()	stabilizer::parser::Parser
mkBvAdd(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBvAnd(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBvAshr(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvComp(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBvConcat(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBvExtract(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkBvLshr(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvMul(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBvNand(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvNeg(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkBvNor(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvNot(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkBvOr(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBvRepeat(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvRotateLeft(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvRotateRight(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSdiv(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSge(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSgt(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvShl(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSignExt(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSle(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSlt(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSmod(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBVSort(const size_t &width)	stabilizer::parser::Parser
mkBvSrem(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvSub(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvToInt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkBvToNat(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkBvUdiv(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvUge(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvUgt(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvUle(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvUlt(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvUmod(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvUrem(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvXnor(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkBvXor(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkBvZeroExt(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkCeil(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkConstArray(std::shared_ptr< Sort > sort, std::shared_ptr< DAGNode > value)	stabilizer::parser::Parser
mkConstBv(const std::string &v, const size_t &width)	stabilizer::parser::Parser
mkConstFP(const std::string &fp_expr)	stabilizer::parser::Parser
mkConstFp(const std::string &v, const size_t &e, const size_t &s)	stabilizer::parser::Parser
mkConstInt(const std::string &v)	stabilizer::parser::Parser
mkConstInt(const int &v)	stabilizer::parser::Parser
mkConstInt(const Integer &v)	stabilizer::parser::Parser
mkConstInt(const Number &v)	stabilizer::parser::Parser
mkConstReal(const std::string &v)	stabilizer::parser::Parser
mkConstReal(const Real &v)	stabilizer::parser::Parser
mkConstReal(const double &v)	stabilizer::parser::Parser
mkConstReal(const Integer &v)	stabilizer::parser::Parser
mkConstReal(const Number &v)	stabilizer::parser::Parser
mkConstReg(const std::string &v)	stabilizer::parser::Parser
mkConstStr(const std::string &v)	stabilizer::parser::Parser
mkCos(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkCosh(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkCot(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkCoth(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkCsc(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkCsch(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkDistinct(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkDiv(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkDivInt(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkDivReal(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkE()	stabilizer::parser::Parser
mkEpsilon()	stabilizer::parser::Parser
mkEq(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkErr(const ERROR_TYPE t)	stabilizer::parser::Parser	private
mkExists(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkExp(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkExpr(const std::string &expression)	stabilizer::parser::Parser
mkFact(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFalse()	stabilizer::parser::Parser
mkFloor(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkForall(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpAbs(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpAdd(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpConst(std::shared_ptr< DAGNode > sign, std::shared_ptr< DAGNode > exp, std::shared_ptr< DAGNode > mant)	stabilizer::parser::Parser
mkFpDiv(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpEq(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpFma(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpGe(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpGt(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpIsInf(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpIsNaN(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpIsNeg(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpIsNormal(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpIsPos(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpIsSubnormal(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpIsZero(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpLe(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpLt(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpMax(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkFpMin(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkFpMul(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpNeg(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpRem(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkFpRoundToIntegral(std::shared_ptr< DAGNode > rm, std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpRoundToIntegral(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFPSort(const size_t &e, const size_t &s)	stabilizer::parser::Parser
mkFpSqrt(std::shared_ptr< DAGNode > rm, std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpSqrt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpSub(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkFpToReal(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkFpToSbv(std::shared_ptr< DAGNode > rm, std::shared_ptr< DAGNode > param, std::shared_ptr< DAGNode > size)	stabilizer::parser::Parser
mkFpToUbv(std::shared_ptr< DAGNode > rm, std::shared_ptr< DAGNode > param, std::shared_ptr< DAGNode > size)	stabilizer::parser::Parser
mkFuncDec(const std::string &name, const std::vector< std::shared_ptr< Sort > > &params, std::shared_ptr< Sort > out_sort)	stabilizer::parser::Parser
mkFuncDef(const std::string &name, const std::vector< std::shared_ptr< DAGNode > > &params, std::shared_ptr< Sort > out_sort, std::shared_ptr< DAGNode > body)	stabilizer::parser::Parser
mkFuncRec(const std::string &name, const std::vector< std::shared_ptr< DAGNode > > &params, std::shared_ptr< Sort > out_sort, std::shared_ptr< DAGNode > body)	stabilizer::parser::Parser
mkFunParamVar(std::shared_ptr< Sort > sort, const std::string &name)	stabilizer::parser::Parser
mkGcd(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkGe(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkGt(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkIand(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkImplies(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkIndexofReg(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkInfinity(std::shared_ptr< Sort > sort)	stabilizer::parser::Parser
mkInternalOper(const std::shared_ptr< Sort > &sort, const NODE_KIND &t, const std::vector< std::shared_ptr< DAGNode > > &p)	stabilizer::parser::Parser	private
mkIntSort()	stabilizer::parser::Parser
mkIntToBv(std::shared_ptr< DAGNode > param, std::shared_ptr< DAGNode > width)	stabilizer::parser::Parser
mkIsDivisible(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkIsEven(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkIsInt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkIsOdd(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkIsPrime(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkIte(std::shared_ptr< DAGNode > cond, std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkIte(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkLb(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkLcm(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkLe(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkLet(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkLetBindVar(const std::string &name, const std::shared_ptr< DAGNode > &expr)	stabilizer::parser::Parser	private
mkLetBindVarList(const std::vector< std::shared_ptr< DAGNode > > &bind_vars)	stabilizer::parser::Parser	private
mkLetChain(const std::vector< std::shared_ptr< DAGNode > > &bind_var_lists, const std::shared_ptr< DAGNode > &body)	stabilizer::parser::Parser	private
mkLg(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkLn(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkLog(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkLt(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkMax(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkMin(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkMod(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkMul(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkNaN(std::shared_ptr< Sort > sort=nullptr)	stabilizer::parser::Parser
mkNatSort()	stabilizer::parser::Parser
mkNatToBv(std::shared_ptr< DAGNode > param, std::shared_ptr< DAGNode > width)	stabilizer::parser::Parser
mkNeg(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkNegEpsilon()	stabilizer::parser::Parser
mkNegInfinity(std::shared_ptr< Sort > sort=nullptr)	stabilizer::parser::Parser
mkNode(std::shared_ptr< Sort > sort, NODE_KIND t, std::string name, std::vector< std::shared_ptr< DAGNode > > params)	stabilizer::parser::Parser	inline
mkNoPattern(const std::shared_ptr< Sort > &sort, const std::string &name, std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkNot(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkOper(const std::shared_ptr< Sort > &sort, const NODE_KIND &t, std::shared_ptr< DAGNode > p)	stabilizer::parser::Parser
mkOper(const std::shared_ptr< Sort > &sort, const NODE_KIND &t, std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkOper(const std::shared_ptr< Sort > &sort, const NODE_KIND &t, std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > m, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkOper(const std::shared_ptr< Sort > &sort, const NODE_KIND &t, const std::vector< std::shared_ptr< DAGNode > > &p)	stabilizer::parser::Parser
mkOr(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkPattern(const std::shared_ptr< Sort > &sort, const std::string &name, const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkPi()	stabilizer::parser::Parser
mkPlaceholderVar(const std::string &name)	stabilizer::parser::Parser
mkPosEpsilon()	stabilizer::parser::Parser
mkPosInfinity(std::shared_ptr< Sort > sort=nullptr)	stabilizer::parser::Parser
mkPow(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkPow2(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkQuantVar(const std::string &name, std::shared_ptr< Sort > sort)	stabilizer::parser::Parser
mkRealSort()	stabilizer::parser::Parser
mkRegAll()	stabilizer::parser::Parser
mkRegAllChar()	stabilizer::parser::Parser
mkRegComplement(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkRegConcat(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkRegDiff(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkRegInter(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkRegLoop(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkRegNone()	stabilizer::parser::Parser
mkRegOpt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkRegPlus(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkRegRange(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkRegRepeat(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkRegSort()	stabilizer::parser::Parser
mkRegStar(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkRegUnion(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkReplaceReg(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkReplaceRegAll(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkRootObj(std::shared_ptr< DAGNode > expr, int index)	stabilizer::parser::Parser
mkRootOfWithInterval(const std::vector< std::shared_ptr< DAGNode > > &coeffs, std::shared_ptr< DAGNode > lower_bound, std::shared_ptr< DAGNode > upper_bound)	stabilizer::parser::Parser
mkRound(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkRoundingMode(const std::string &mode)	stabilizer::parser::Parser
mkRoundingModeSort()	stabilizer::parser::Parser
mkSafeSqrt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkSbvToInt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkSec(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkSech(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkSelect(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkSin(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkSinh(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkSortDec(const std::string &name, const size_t &arity)	stabilizer::parser::Parser
mkSortDef(const std::string &name, const std::vector< std::shared_ptr< Sort > > &params, std::shared_ptr< Sort > out_sort)	stabilizer::parser::Parser
mkSqrt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStore(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkStrCharat(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrConcat(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkStrContains(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrFromCode(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrFromInt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrGe(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkStrGt(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkStrIndexof(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkStrIndexofReg(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrInReg(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrIsDigit(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrLe(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkStrLen(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrLt(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkStrNumSplits(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrNumSplitsRe(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrPrefixof(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrReplace(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkStrReplaceAll(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkStrReplaceReg(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkStrReplaceRegAll(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkStrRev(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrSort()	stabilizer::parser::Parser
mkStrSplit(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrSplitAt(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkStrSplitAtRe(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkStrSplitRest(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkStrSplitRestRe(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkStrSubstr(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > s)	stabilizer::parser::Parser
mkStrSuffixof(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r)	stabilizer::parser::Parser
mkStrToCode(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrToInt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrToLower(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrToReg(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrToUpper(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkStrUpdate(std::shared_ptr< DAGNode > l, std::shared_ptr< DAGNode > r, std::shared_ptr< DAGNode > v)	stabilizer::parser::Parser
mkSub(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
mkTan(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkTanh(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkTempVar(const std::shared_ptr< Sort > &sort)	stabilizer::parser::Parser
mkToFp(std::shared_ptr< DAGNode > eb, std::shared_ptr< DAGNode > sb, std::shared_ptr< DAGNode > rm, std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkToFp(std::shared_ptr< DAGNode > eb, std::shared_ptr< DAGNode > sb, std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkToFpUnsigned(std::shared_ptr< DAGNode > eb, std::shared_ptr< DAGNode > sb, std::shared_ptr< DAGNode > rm, std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkToInt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkToReal(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkTrue()	stabilizer::parser::Parser
mkUbvToInt(std::shared_ptr< DAGNode > param)	stabilizer::parser::Parser
mkUFVNode(const std::string &name, const std::shared_ptr< Sort > &sort)	stabilizer::parser::Parser	inline
mkUnknown()	stabilizer::parser::Parser
mkVar(const std::shared_ptr< Sort > &sort, const std::string &name)	stabilizer::parser::Parser
mkVarBool(const std::string &name)	stabilizer::parser::Parser
mkVarBv(const std::string &name, const size_t &width)	stabilizer::parser::Parser
mkVarFp(const std::string &name, const size_t &e, const size_t &s)	stabilizer::parser::Parser
mkVarInt(const std::string &name)	stabilizer::parser::Parser
mkVarReal(const std::string &name)	stabilizer::parser::Parser
mkVarReg(const std::string &name)	stabilizer::parser::Parser
mkVarRoundingMode(const std::string &name)	stabilizer::parser::Parser
mkVarStr(const std::string &name)	stabilizer::parser::Parser
mkWeight(const std::shared_ptr< Sort > &sort, const std::string &name, std::shared_ptr< DAGNode > weight)	stabilizer::parser::Parser
mkXor(const std::vector< std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
named_assertions	stabilizer::parser::Parser
nnf_map	stabilizer::parser::Parser	private
node_manager	stabilizer::parser::Parser	private
num_quant_vars	stabilizer::parser::Parser	private
options	stabilizer::parser::Parser	private
optionToString()	stabilizer::parser::Parser
parse(const std::string &filename)	stabilizer::parser::Parser
parse_options	stabilizer::parser::Parser	private
parseCommand()	stabilizer::parser::Parser	private
parseConstFunc(const std::string &s)	stabilizer::parser::Parser	private
parseExpr()	stabilizer::parser::Parser	private
parseGroup()	stabilizer::parser::Parser	private
parseKeyword()	stabilizer::parser::Parser	private
parseLet()	stabilizer::parser::Parser	private
parseLpar()	stabilizer::parser::Parser	private
parseOper(const std::string &s, const std::vector< std::shared_ptr< DAGNode > > &func_args, const std::vector< std::shared_ptr< DAGNode > > &oper_params)	stabilizer::parser::Parser	private
parseParams()	stabilizer::parser::Parser	private
parsePreservingLet()	stabilizer::parser::Parser	private
parseQuant(const std::string &type)	stabilizer::parser::Parser	private
Parser(const std::string &filename)	stabilizer::parser::Parser
Parser()	stabilizer::parser::Parser
parseRpar()	stabilizer::parser::Parser	private
parseSmtlib2File(const std::string filename)	stabilizer::parser::Parser
parseSort()	stabilizer::parser::Parser	private
parseStr(const std::string &constraint)	stabilizer::parser::Parser
parseWeight()	stabilizer::parser::Parser	private
parsing_file	stabilizer::parser::Parser	private
pattern_assertions	stabilizer::parser::Parser
peekSymbol()	stabilizer::parser::Parser	private
placeholder_var_names	stabilizer::parser::Parser	private
placeholder_var_sort	stabilizer::parser::Parser	private
preserving_let_counter	stabilizer::parser::Parser	private
preserving_let_key_map	stabilizer::parser::Parser	private
quant_nesting_depth	stabilizer::parser::Parser	private
quant_var_map	stabilizer::parser::Parser	private
rebuild_node_manager()	stabilizer::parser::Parser	inline
rebuildLetBindings(const std::shared_ptr< DAGNode > &root)	stabilizer::parser::Parser
remove(std::shared_ptr< DAGNode > expr, const std::unordered_set< std::shared_ptr< DAGNode > > &nodes)	stabilizer::parser::Parser
remove(std::shared_ptr< DAGNode > expr, const std::unordered_set< std::shared_ptr< DAGNode > > &nodes, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &visited)	stabilizer::parser::Parser	private
removeFuns(const std::vector< std::string > &funcNames)	stabilizer::parser::Parser
rename(std::shared_ptr< DAGNode > expr, const std::string &new_name)	stabilizer::parser::Parser
replaceAssertions(const std::vector< std::shared_ptr< DAGNode > > &new_assertions)	stabilizer::parser::Parser	inline
replaceAtoms(std::shared_ptr< DAGNode > expr, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &atom_map, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &visited, bool &is_changed)	stabilizer::parser::Parser	private
replaceNodes(std::shared_ptr< DAGNode > expr, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &node_map, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &visited, bool &is_changed)	stabilizer::parser::Parser	private
result_node	stabilizer::parser::Parser	private
result_type	stabilizer::parser::Parser	private
rewrite(NODE_KIND &t, std::shared_ptr< DAGNode > &p)	stabilizer::parser::Parser
rewrite(NODE_KIND &t, std::shared_ptr< DAGNode > &l, std::shared_ptr< DAGNode > &r)	stabilizer::parser::Parser
rewrite(NODE_KIND &t, std::shared_ptr< DAGNode > &l, std::shared_ptr< DAGNode > &m, std::shared_ptr< DAGNode > &r)	stabilizer::parser::Parser
rewrite(NODE_KIND &t, std::shared_ptr< DAGNode > &l, std::shared_ptr< DAGNode > &ml, std::shared_ptr< DAGNode > &mr, std::shared_ptr< DAGNode > &r)	stabilizer::parser::Parser
rewrite(NODE_KIND &t, std::vector< std::shared_ptr< DAGNode > > &p)	stabilizer::parser::Parser
rewrite_oper(NODE_KIND &t, std::vector< std::shared_ptr< DAGNode > > &p)	stabilizer::parser::Parser
scan_mode	stabilizer::parser::Parser	private
scanToNextSymbol()	stabilizer::parser::Parser	private
setEvaluatePrecision(mpfr_prec_t precision)	stabilizer::parser::Parser
setEvaluateUseFloating(bool use_floating)	stabilizer::parser::Parser
setOption(const std::string &key, const std::string &value)	stabilizer::parser::Parser
setOption(const std::string &key, const int &value)	stabilizer::parser::Parser
setOption(const std::string &key, const double &value)	stabilizer::parser::Parser
setOption(const std::string &key, const bool &value)	stabilizer::parser::Parser
skipToRpar()	stabilizer::parser::Parser	private
soft_assertion_groups	stabilizer::parser::Parser
soft_assertions	stabilizer::parser::Parser
soft_weights	stabilizer::parser::Parser
sort_key_map	stabilizer::parser::Parser	private
sort_manager	stabilizer::parser::Parser	private
sortParams(const std::vector< std::shared_ptr< DAGNode > > &p)	stabilizer::parser::Parser	static
split_lemmas	stabilizer::parser::Parser
static_functions	stabilizer::parser::Parser	private
substitute(std::shared_ptr< DAGNode > expr, std::unordered_map< std::string, std::shared_ptr< DAGNode > > &params)	stabilizer::parser::Parser
substitute(std::shared_ptr< DAGNode > expr, std::unordered_map< std::string, std::shared_ptr< DAGNode > > &params, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &visited)	stabilizer::parser::Parser	private
temp_var_counter	stabilizer::parser::Parser	private
temp_var_names	stabilizer::parser::Parser	private
toCNF(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser	private
toDNFEliminateAll(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser	private
toDNFEliminateAll(std::shared_ptr< DAGNode > expr, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &visited, bool &is_changed)	stabilizer::parser::Parser	private
toDNFEliminateDistinct(const std::vector< std::shared_ptr< DAGNode > > &children)	stabilizer::parser::Parser	private
toDNFEliminateEq(const std::vector< std::shared_ptr< DAGNode > > &children)	stabilizer::parser::Parser	private
toDNFEliminateXOR(const std::vector< std::shared_ptr< DAGNode > > &children)	stabilizer::parser::Parser	private
toInt(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
toNNF(std::shared_ptr< DAGNode > expr, bool is_not)	stabilizer::parser::Parser	private
toReal(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
toString(std::shared_ptr< DAGNode > expr)	stabilizer::parser::Parser
toString(const NODE_KIND &kind)	stabilizer::parser::Parser
toString(std::shared_ptr< Sort > sort)	stabilizer::parser::Parser
toTseitinCNF(std::shared_ptr< DAGNode > expr, std::unordered_map< std::shared_ptr< DAGNode >, std::shared_ptr< DAGNode > > &visited, std::vector< std::shared_ptr< DAGNode > > &clauses)	stabilizer::parser::Parser	private
toTseitinDistinct(std::shared_ptr< DAGNode > a, std::shared_ptr< DAGNode > b, std::vector< std::shared_ptr< DAGNode > > &clauses)	stabilizer::parser::Parser	private
toTseitinEq(std::shared_ptr< DAGNode > a, std::shared_ptr< DAGNode > b, std::vector< std::shared_ptr< DAGNode > > &clauses)	stabilizer::parser::Parser	private
toTseitinXor(std::shared_ptr< DAGNode > a, std::shared_ptr< DAGNode > b, std::vector< std::shared_ptr< DAGNode > > &clauses)	stabilizer::parser::Parser	private
var_names	stabilizer::parser::Parser	private
warn_cmd_nsup(const std::string nm, const size_t ln) const	stabilizer::parser::Parser	private
~Parser()	stabilizer::parser::Parser