Searched refs:trueFormula (Results 1 – 14 of 14) sorted by relevance
| /dports/science/cdk/cdk-cdk-2.3/tool/formula/src/test/java/org/openscience/cdk/formula/ |
| H A D | MolecularFormulaGeneratorTest.java | 717 IMolecularFormula trueFormula = new MolecularFormula(); // C3CH5 in testDifferentIsotopes() local
718 trueFormula.addIsotope(c, 3); in testDifferentIsotopes()
719 trueFormula.addIsotope(c13, 1); in testDifferentIsotopes()
720 trueFormula.addIsotope(h, 5); in testDifferentIsotopes()
722 Assert.assertEquals(trueFormula.getIsotopeCount(), mfSet in testDifferentIsotopes()
724 Assert.assertEquals(trueFormula.getIsotopeCount(c), mfSet in testDifferentIsotopes()
726 Assert.assertEquals(trueFormula.getIsotopeCount(c13), mfSet in testDifferentIsotopes()
|
| /dports/math/vampire/vampire-4.5.1/ |
| H A D | test_vapi.cpp | 165 trueForms.push(api.trueFormula()); in assymmetricRewriteTest()
236 opts.addAsymmetricRewritingRule(lf4b, api.trueFormula(), l4b, l4b); in asymRewritingTest()
|
| H A D | test_libvapi.cpp | 182 opts.addAsymmetricRewritingRule(lf4b, api.trueFormula(), l4b, l4b); in asymRewritingTest()
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | PDUtils.cpp | 227 rhs = Formula::trueFormula(); in splitDefinition()
|
| H A D | Flattening.cpp | 55 return Formula::trueFormula(); in getFlattennedNegation()
|
| H A D | NNF.cpp | 205 return Formula::trueFormula(); in ennf()
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | Formula.hpp | 113 static Formula* trueFormula();
|
| H A D | Formula.cpp | 776 Formula* Formula::trueFormula() in trueFormula() function in Kernel::Formula
|
| /dports/math/vampire/vampire-4.5.1/Api/ |
| H A D | FormulaBuilder.hpp | 301 Formula trueFormula();
|
| H A D | FormulaBuilder.cpp | 493 Formula FormulaBuilder::trueFormula() in trueFormula() function in Api::FormulaBuilder
|
| /dports/math/vampire/vampire-4.5.1/FMB/ |
| H A D | FiniteModel.cpp | 594 return evaluated ? Formula::trueFormula() : Formula::falseFormula(); in partialEvaluate()
|
| H A D | FiniteModelMultiSorted.cpp | 685 return evaluated ? Formula::trueFormula() : Formula::falseFormula(); in partialEvaluate()
|
| /dports/math/vampire/vampire-4.5.1/Parse/ |
| H A D | SMTLIB.cpp | 929 return Formula::trueFormula(); in readFormulaFromAtom()
|
| H A D | SMTLIB2.cpp | 1588 _results.push(ParseResult(Formula::trueFormula())); in parseAsBuiltinFormulaSymbol()
|