Searched refs:p_interpretation (Results 1 – 4 of 4) sorted by relevance
| /dports/math/vampire/vampire-4.5.1/FMB/ |
| H A D | FiniteModel.cpp | 85 p_interpretation.expand(offsets+1,0); in FiniteModel()
142 ASS_L(var, p_interpretation.size()); in addPredicateDefinition()
143 p_interpretation[var] = (res ? 2 : 1); in addPredicateDefinition()
276 unsigned res = p_interpretation[p_offsets[f]]; in toString()
320 unsigned res = p_interpretation[var]; in toString()
422 ASS_L(var,p_interpretation.size()); in evaluateGroundLiteral()
424 unsigned res = p_interpretation[var]; in evaluateGroundLiteral()
|
| H A D | FiniteModelMultiSorted.cpp | 94 p_interpretation.expand(offsets+1,0); in FiniteModelMultiSorted()
169 ASS_L(var, p_interpretation.size()); in addPredicateDefinition()
170 p_interpretation[var] = (res ? 2 : 1); in addPredicateDefinition()
350 unsigned res = p_interpretation[p_offsets[f]]; in toString()
404 unsigned res = p_interpretation[var]; in toString()
508 ASS_L(var,p_interpretation.size()); in evaluateGroundLiteral()
510 unsigned res = p_interpretation[var]; in evaluateGroundLiteral()
|
| H A D | FiniteModel.hpp | 86 DArray<unsigned> p_interpretation; // 0 is undef, 1 false, 2 true member in FMB::FiniteModel
|
| H A D | FiniteModelMultiSorted.hpp | 90 DArray<unsigned> p_interpretation; // 0 is undef, 1 false, 2 true member in FMB::FiniteModelMultiSorted
|