operations_research::sat::ProtoTrail Member List

This is the complete list of members for operations_research::sat::ProtoTrail, including all inherited members.

AddImplication(int level, ProtoLiteral implication)	operations_research::sat::ProtoTrail	inline
Clear()	operations_research::sat::ProtoTrail
Decision(int level) const	operations_research::sat::ProtoTrail	inline
Implications(int level) const	operations_research::sat::ProtoTrail
Literals() const	operations_research::sat::ProtoTrail	inline
MaxLevel() const	operations_research::sat::ProtoTrail	inline
NodeIds(int level) const	operations_research::sat::ProtoTrail
ObjectiveLb(int level) const	operations_research::sat::ProtoTrail	inline
PushLevel(const ProtoLiteral &decision, IntegerValue objective_lb, int node_id)	operations_research::sat::ProtoTrail
SetLevelImplied(int level)	operations_research::sat::ProtoTrail
SetObjectiveLb(int level, IntegerValue objective_lb)	operations_research::sat::ProtoTrail
SetPhase(absl::Span< const ProtoLiteral > phase)	operations_research::sat::ProtoTrail	inline
TargetPhase() const	operations_research::sat::ProtoTrail	inline