operations_research::sat::CompiledCircuitConstraint Member List

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

CompiledCircuitConstraint(const ConstraintProto &ct_proto)	operations_research::sat::CompiledCircuitConstraint	explicit
CompiledConstraint()=default	operations_research::sat::CompiledConstraint
CompiledConstraintWithProto(const ConstraintProto &ct_proto)	operations_research::sat::CompiledConstraintWithProto	explicit
ComputeViolation(absl::Span< const int64_t > solution) override	operations_research::sat::CompiledCircuitConstraint	virtual
ct_proto() const	operations_research::sat::CompiledConstraintWithProto	inline
InitializeViolation(absl::Span< const int64_t > solution)	operations_research::sat::CompiledConstraint
PerformMove(int var, int64_t old_value, absl::Span< const int64_t > new_solution) override	operations_research::sat::CompiledCircuitConstraint	virtual
UsedVariables(const CpModelProto &model_proto) const final	operations_research::sat::CompiledConstraintWithProto	virtual
violation() const	operations_research::sat::CompiledConstraint	inline
violation_	operations_research::sat::CompiledConstraint	protected
ViolationDelta(int var, int64_t old_value, absl::Span< const int64_t > solution_with_new_value) override	operations_research::sat::CompiledCircuitConstraint	virtual
~CompiledCircuitConstraint() override=default	operations_research::sat::CompiledCircuitConstraint
~CompiledConstraint()=default	operations_research::sat::CompiledConstraint	virtual
~CompiledConstraintWithProto() override=default	operations_research::sat::CompiledConstraintWithProto