THA_QUOTIENT_MULTIPLY (reference) in projects: dports

Searched refs:THA_QUOTIENT_MULTIPLY (Results 1 – 3 of 3) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Kernel/
H A D	Inference.hpp	`394 THA_QUOTIENT_MULTIPLY, enumerator`
H A D	Inference.cpp	`774 case InferenceRule::THA_QUOTIENT_MULTIPLY: in ruleName()`
/dports/math/vampire/vampire-4.5.1/Shell/
H A D	TheoryAxioms.cpp	`628 addTheoryClauseFromLits({guardx,qmxisy}, InferenceRule::THA_QUOTIENT_MULTIPLY, EXPENSIVE); in addQuotientAxioms()`