THA_INVERSE_ASSOC (reference) in projects: dports

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

/dports/math/vampire/vampire-4.5.1/Kernel/
H A D	Inference.hpp	`375 THA_INVERSE_ASSOC, enumerator`
H A D	Inference.cpp	`755 case InferenceRule::THA_INVERSE_ASSOC: in ruleName()`
/dports/math/vampire/vampire-4.5.1/Shell/
H A D	TheoryAxioms.cpp	`242 addTheoryClauseFromLits({eq}, InferenceRule::THA_INVERSE_ASSOC, EXPENSIVE); in addRightInverse()`