Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DInference.hpp208 HYPER_SUPERPOSITION_SIMPLIFYING, // not used at the moment enumerator
H A DInference.cpp841 case InferenceRule::HYPER_SUPERPOSITION_SIMPLIFYING: in ruleName()
/dports/math/vampire/vampire-4.5.1/Inferences/
H A DHyperSuperposition.cpp475 GeneratingInferenceMany(InferenceRule::HYPER_SUPERPOSITION_SIMPLIFYING, premLst)); in tryGetContradictionFromUnification()