Home
last modified time | relevance | path

Searched refs:_arityCheck (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Kernel/
H A DSignature.cpp604 if (_arityCheck.find(name,prev)) { in addFunction()
612 _arityCheck.insert(name,2*arity+1); in addFunction()
675 if (_arityCheck.find(name,prev)) { in addPredicate()
683 _arityCheck.insert(name,2*arity); in addPredicate()
H A DSignature.hpp547 SymbolMap _arityCheck; member in Kernel::Signature
/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.cpp475 _arityCheck = BoolOptionValue("arity_check","",false); in init()
476_arityCheck.description="Enforce the condition that the same symbol name cannot be used with multi… in init()
478 _lookup.insert(&_arityCheck); in init()
479 _arityCheck.tag(OptionTag::DEVELOPMENT); in init()
H A DOptions.hpp2035 bool arityCheck() const { return _arityCheck.actualValue; } in arityCheck()
2366 BoolOptionValue _arityCheck; member in Shell::Options