Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ModelCopy Member List

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

CreateVariablesFromDomains(absl::Span< const Domain > domains)operations_research::sat::ModelCopy
ImportAndSimplifyConstraints(const CpModelProto &in_model, bool first_copy=false, std::function< bool(int)> active_constraints=nullptr)operations_research::sat::ModelCopy
ImportVariablesAndMaybeIgnoreNames(const CpModelProto &in_model)operations_research::sat::ModelCopy
ModelCopy(PresolveContext *context)operations_research::sat::ModelCopyexplicit