Lines Matching refs:Evaluate
53 TF_AXIOM(nullExpr.Evaluate() == PcpMapFunction()); in main()
59 TF_AXIOM(identityExpr.Evaluate() == PcpMapFunction::Identity()); in main()
77 TF_AXIOM(refExpr.Evaluate() == refFunc); in main()
83 TF_AXIOM(refExprInverse.Evaluate() == refFunc.GetInverse()); in main()
97 TF_AXIOM(composedExpr.Evaluate() == in main()
101 TF_AXIOM(composedExpr.Inverse().Evaluate() == in main()
112 TF_AXIOM(varExpr.Evaluate() == var->GetValue()); in main()
113 TF_AXIOM(varExpr.Evaluate() == PcpMapFunction()); in main()
119 TF_AXIOM(varExpr.Evaluate() == var->GetValue()); in main()
120 TF_AXIOM(varExpr.Evaluate() == testValue); in main()
124 TF_AXIOM(invVarExpr.Evaluate() == testValue.GetInverse()); in main()
130 TF_AXIOM(varExpr.Evaluate() == testValue2); in main()
131 TF_AXIOM(invVarExpr.Evaluate() == testValue2.GetInverse()); in main()
140 TF_AXIOM(varExpr.Evaluate() == testValue3); in main()
141 TF_AXIOM(invVarExpr.Evaluate() == testValue3.GetInverse()); in main()
156 TF_AXIOM(exp.Evaluate() == a_to_c); in main()
163 TF_AXIOM(exp_with_id.Evaluate() == a_to_c_with_id.Evaluate()); in main()