Clingo
Loading...
Searching...
No Matches
Clingo::Heuristic Member List

This is the complete list of members for Clingo::Heuristic, including all inherited members.

attach(Assignment assignment, PropagateControl ctl)Clingo::Propagatorinline
check(Assignment assignment, PropagateControl ctl)Clingo::Propagatorinline
decide(Assignment assignment, SolverLiteral literal) -> SolverLiteralClingo::Heuristicinline
Heuristic()=defaultClingo::Heuristic
init(Assignment assignment, PropagateInit init)Clingo::Propagatorinline
operator=(Propagator &&other) -> Propagator &=deleteClingo::Propagator
propagate(Assignment assignment, PropagateControl ctl, ProgramLiteralSpan changes)Clingo::Propagatorinline
Propagator()=defaultClingo::Propagator
Propagator(Propagator &&other)=deleteClingo::Propagator
undo(Assignment assignment, ProgramLiteralSpan changes)Clingo::Propagatorinline
~Propagator()=defaultClingo::Propagatorvirtual