Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.cpp77 cBackwardSuperposition(0), in Statistics()
325 cForwardSuperposition+cBackwardSuperposition+cSelfSuperposition+ in print()
337 COND_OUT("Backward superposition with abstraction", cBackwardSuperposition); in print()
H A DStatistics.hpp115 unsigned cBackwardSuperposition; member in Shell::Statistics
/dports/math/vampire/vampire-4.5.1/Inferences/
H A DSuperposition.cpp660 env.statistics->cBackwardSuperposition++; in performSuperposition()