Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Shell/
H A DUIHelper.hpp97 static ConstraintRCList* getPreprocessedConstraints(const ConstraintRCList* inputConstraints);
H A DStatistics.hpp270 unsigned inputConstraints; member in Shell::Statistics
H A DUIHelper.cpp797 env.statistics->inputConstraints = res->length(); in getInputConstraints()
806 ConstraintRCList* UIHelper::getPreprocessedConstraints(const ConstraintRCList* inputConstraints) in getPreprocessedConstraints() argument
814 ConstraintRCList* constraints = ConstraintRCList::copy(inputConstraints); in getPreprocessedConstraints()