Home
last modified time | relevance | path

Searched defs:VariableSelector (Results 1 – 4 of 4) sorted by relevance

/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/FMDP/learning/datastructure/
H A Dvariableselector.cpp41 VariableSelector::VariableSelector(Set< const DiscreteVariable* >& startingSet) : in VariableSelector() function in gum::VariableSelector
/dports/devel/csmith/csmith-2.3.0/src/
H A DVariableSelector.h63 VariableSelector(void) {}; in VariableSelector() function
H A DVariable.h64 friend class VariableSelector; variable
/dports/math/vampire/vampire-4.5.1/SAT/
H A DVariableSelector.hpp39 class VariableSelector class
45 VariableSelector(TWLSolver& solver) : _solver(solver) {} in VariableSelector() function in SAT::VariableSelector