CppClingo::Ground::StateDisjunction Member List

This is the complete list of members for CppClingo::Ground::StateDisjunction, including all inherited members.

AtomMap typedef	CppClingo::Ground::StateDisjunction
base() -> BaseDisjunction &	CppClingo::Ground::StateDisjunction
ElementKey typedef	CppClingo::Ground::StateDisjunction
ElementMap typedef	CppClingo::Ground::StateDisjunction
enqueue(Queue &queue)	CppClingo::Ground::StateDisjunction
global() const -> VariableVec const &	CppClingo::Ground::StateDisjunction
index() const -> size_t	CppClingo::Ground::StateDisjunction
indices() const -> std::vector< size_t >	CppClingo::Ground::StateDisjunction
insert_atom(Assignment &ass) -> std::pair< AtomMap::iterator, bool >	CppClingo::Ground::StateDisjunction
insert_elem(EvalContext const &ctx, AtomMap::iterator it, UTerm const &head, auto const &get_cond)	CppClingo::Ground::StateDisjunction
output(Logger &log, SymbolStore &store, OutputStm &out) override	CppClingo::Ground::StateDisjunction	virtual
print(std::ostream &out, bool print_index)	CppClingo::Ground::StateDisjunction
propagate(OutputStm &out, Queue &queue)	CppClingo::Ground::StateDisjunction
single_pass_body() const -> bool	CppClingo::Ground::StateDisjunction
StateDisjunction(std::pmr::monotonic_buffer_resource &mbr, DisjunctionBaseVec bases, VariableVec global, size_t index, bool single_pass_body)	CppClingo::Ground::StateDisjunction	inline
symbols() -> SymbolVec &	CppClingo::Ground::StateDisjunction
~State()=default	CppClingo::Ground::State	virtual