Home
last modified time | relevance | path

Searched refs:value_unassigned (Results 1 – 8 of 8) sorted by relevance

/dports/math/clingo/clingo-5.5.1/clasp/libpotassco/potassco/program_opts/
H A Dvalue.h65 value_unassigned = 0, /**< no value assigned */ enumerator
196 Value(byte_t flagSet, State initial = value_unassigned);
/dports/math/clasp/clasp-3.3.5/libpotassco/potassco/program_opts/
H A Dvalue.h65 value_unassigned = 0, /**< no value assigned */ enumerator
196 Value(byte_t flagSet, State initial = value_unassigned);
/dports/math/clasp/clasp-3.3.5/libpotassco/tests/
H A Dtest_options.cpp47 REQUIRE(o.value()->state() == Po::Value::value_unassigned);
322 if (!key->value()->parse(key->name(), value, Po::Value::value_unassigned)) { in addValue()
H A Dtest_value.cpp147 REQUIRE((v2->state() == Po::Value::value_unassigned && v2->isImplicit() && v2->isFlag()));
/dports/math/clingo/clingo-5.5.1/clasp/libpotassco/tests/
H A Dtest_options.cpp47 REQUIRE(o.value()->state() == Po::Value::value_unassigned);
322 if (!key->value()->parse(key->name(), value, Po::Value::value_unassigned)) { in addValue()
H A Dtest_value.cpp147 REQUIRE((v2->state() == Po::Value::value_unassigned && v2->isImplicit() && v2->isFlag()));
/dports/math/clingo/clingo-5.5.1/clasp/libpotassco/src/
H A Dprogram_options.cpp524 o.value()->state(Value::value_unassigned); in assign()
/dports/math/clasp/clasp-3.3.5/libpotassco/src/
H A Dprogram_options.cpp524 o.value()->state(Value::value_unassigned); in assign()