Searched refs:target_base_diff_node (Results 1 – 1 of 1) sorted by relevance
4796 const VariableNode *target_base_diff_node; in addPacModelConsistentExpectationEquation() local4800 target_base_diff_node = sit->second; in addPacModelConsistentExpectationEquation()4804 target_base_diff_node = AddVariable(symb_id); in addPacModelConsistentExpectationEquation()4805 …ddEquation(dynamic_cast<BinaryOpNode *>(AddEqual(const_cast<VariableNode *>(target_base_diff_node), in addPacModelConsistentExpectationEquation()4812 const VariableNode *last_aux_var = target_base_diff_node; in addPacModelConsistentExpectationEquation()4847 … AddMinus(AddTimes(A, AddMinus(const_cast<VariableNode *>(target_base_diff_node), fs)), fp)), -1); in addPacModelConsistentExpectationEquation()