Clingo::Observer Member List

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

assume(ProgramLiteralSpan literals)	Clingo::Observer	inline
begin_step()	Clingo::Observer	inline
Control (defined in Clingo::Observer)	Clingo::Observer	friend
edge(int node_u, int node_v, ProgramLiteralSpan condition)	Clingo::Observer	inline
end_step(Base base)	Clingo::Observer	inline
external(ProgramAtom atom, ExternalType type)	Clingo::Observer	inline
heuristic(ProgramAtom atom, HeuristicType type, int bias, unsigned priority, ProgramLiteralSpan condition)	Clingo::Observer	inline
init_program(bool incremental)	Clingo::Observer	inline
minimize(WeightedLiteralSpan literals, Weight priority)	Clingo::Observer	inline
Observer()=default	Clingo::Observer
Observer(Observer &&other)=delete	Clingo::Observer
project(ProgramAtomSpan atoms)	Clingo::Observer	inline
rule(ProgramAtomSpan head, ProgramLiteralSpan body, bool choice)	Clingo::Observer	inline
weight_rule(ProgramAtomSpan head, Weight lower, WeightedLiteralSpan body, bool choice)	Clingo::Observer	inline
~Observer()=default	Clingo::Observer	virtual