CppClingo::Ground::ProjectState Member List

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

base() const -> AtomBase &	CppClingo::Ground::ProjectState	inline
init(InstantiationContext const &ctx, size_t gen)	CppClingo::Ground::ProjectState
name() const -> String const &	CppClingo::Ground::ProjectState	inline
p_base() -> AtomBase &	CppClingo::Ground::ProjectState	inline
ProjectState(String name, size_t vars, AtomBase &base, UTerm p_head, UTerm p_body)	CppClingo::Ground::ProjectState	inline