Termination Member List

This is the complete list of members for Termination, including all inherited members.

detail	Termination
Feasible(Limit limit, std::string detail={})	Termination	static
FromProto(const TerminationProto &termination_proto)	Termination	static
limit	Termination
limit_reached() const	Termination
NoSolutionFound(Limit limit, std::string detail={})	Termination	static
Proto() const	Termination
reason	Termination
Termination(TerminationReason reason, std::string detail={})	Termination	explicit
ToString() const	Termination