Home
last modified time | relevance | path

Searched refs:ARGUMENT_FIRST (Results 1 – 2 of 2) sorted by relevance

/dports/math/vampire/vampire-4.5.1/FMB/
H A DFiniteModelBuilder.cpp381 case Options::FMBWidgetOrders::ARGUMENT_FIRST: in createSymmetryOrdering()
/dports/math/vampire/vampire-4.5.1/Shell/
H A DOptions.hpp283 ARGUMENT_FIRST, // f(1) g(1) h(1) ... f(2) g(2) ... enumerator