Google.OrTools.Sat.CpModel Member List

This is the complete list of members for Google.OrTools.Sat.CpModel, including all inherited members.

Add(BoundedLinearExpression lin)	Google.OrTools.Sat.CpModel	inline
AddAbsEquality(LinearExpr target, LinearExpr expr)	Google.OrTools.Sat.CpModel	inline
AddAllDifferent(IEnumerable< LinearExpr > exprs)	Google.OrTools.Sat.CpModel	inline
AddAllowedAssignments(IEnumerable< IntVar > vars)	Google.OrTools.Sat.CpModel	inline
AddAssumption(ILiteral lit)	Google.OrTools.Sat.CpModel	inline
AddAssumptions(IEnumerable< ILiteral > literals)	Google.OrTools.Sat.CpModel	inline
AddAtLeastOne(IEnumerable< ILiteral > literals)	Google.OrTools.Sat.CpModel	inline
AddAtMostOne(IEnumerable< ILiteral > literals)	Google.OrTools.Sat.CpModel	inline
AddAutomaton(IEnumerable< IntVar > vars, long starting_state, IEnumerable< long > final_states)	Google.OrTools.Sat.CpModel	inline
AddBoolAnd(IEnumerable< ILiteral > literals)	Google.OrTools.Sat.CpModel	inline
AddBoolOr(IEnumerable< ILiteral > literals)	Google.OrTools.Sat.CpModel	inline
AddBoolXor(IEnumerable< ILiteral > literals)	Google.OrTools.Sat.CpModel	inline
AddCircuit()	Google.OrTools.Sat.CpModel	inline
AddCumulative< C >(C capacity)	Google.OrTools.Sat.CpModel	inline
AddDecisionStrategy(IEnumerable< IntVar > vars, DecisionStrategyProto.Types.VariableSelectionStrategy var_str, DecisionStrategyProto.Types.DomainReductionStrategy dom_str)	Google.OrTools.Sat.CpModel	inline
AddDivisionEquality< T, N, D >(T target, N num, D denom)	Google.OrTools.Sat.CpModel	inline
AddElement(IntVar index, IEnumerable< IntVar > vars, IntVar target)	Google.OrTools.Sat.CpModel	inline
AddElement(IntVar index, IEnumerable< long > values, IntVar target)	Google.OrTools.Sat.CpModel	inline
AddElement(IntVar index, IEnumerable< int > values, IntVar target)	Google.OrTools.Sat.CpModel	inline
AddExactlyOne(IEnumerable< ILiteral > literals)	Google.OrTools.Sat.CpModel	inline
AddForbiddenAssignments(IEnumerable< IntVar > vars)	Google.OrTools.Sat.CpModel	inline
AddHint(IntVar var, long value)	Google.OrTools.Sat.CpModel	inline
AddHint(ILiteral lit, bool value)	Google.OrTools.Sat.CpModel	inline
AddImplication(ILiteral a, ILiteral b)	Google.OrTools.Sat.CpModel	inline
AddInverse(IEnumerable< IntVar > direct, IEnumerable< IntVar > reverse)	Google.OrTools.Sat.CpModel	inline
AddLinearConstraint(LinearExpr expr, long lb, long ub)	Google.OrTools.Sat.CpModel	inline
AddLinearExpressionInDomain(LinearExpr expr, Domain domain)	Google.OrTools.Sat.CpModel	inline
AddMapDomain(IntVar var, IEnumerable< IntVar > bool_vars, long offset=0)	Google.OrTools.Sat.CpModel	inline
AddMaxEquality(LinearExpr target, IEnumerable< LinearExpr > exprs)	Google.OrTools.Sat.CpModel	inline
AddMinEquality(LinearExpr target, IEnumerable< LinearExpr > exprs)	Google.OrTools.Sat.CpModel	inline
AddModuloEquality< T, V, M >(T target, V v, M m)	Google.OrTools.Sat.CpModel	inline
AddMultipleCircuit()	Google.OrTools.Sat.CpModel	inline
AddMultiplicationEquality(LinearExpr target, IEnumerable< LinearExpr > exprs)	Google.OrTools.Sat.CpModel	inline
AddMultiplicationEquality(LinearExpr target, LinearExpr left, LinearExpr right)	Google.OrTools.Sat.CpModel	inline
AddNoOverlap(IEnumerable< IntervalVar > intervals)	Google.OrTools.Sat.CpModel	inline
AddNoOverlap2D()	Google.OrTools.Sat.CpModel	inline
AddReservoirConstraint(long minLevel, long maxLevel)	Google.OrTools.Sat.CpModel	inline
ClearAssumptions()	Google.OrTools.Sat.CpModel	inline
ClearHints()	Google.OrTools.Sat.CpModel	inline
CpModel()	Google.OrTools.Sat.CpModel	inline
ExportToFile(String file)	Google.OrTools.Sat.CpModel	inline
FalseLiteral()	Google.OrTools.Sat.CpModel	inline
Maximize(LinearExpr obj)	Google.OrTools.Sat.CpModel	inline
Minimize(LinearExpr obj)	Google.OrTools.Sat.CpModel	inline
Model	Google.OrTools.Sat.CpModel
ModelStats()	Google.OrTools.Sat.CpModel	inline
NewBoolVar(string name)	Google.OrTools.Sat.CpModel	inline
NewConstant(long value)	Google.OrTools.Sat.CpModel	inline
NewFixedSizeIntervalVar< S >(S start, long size, string name)	Google.OrTools.Sat.CpModel	inline
NewIntervalVar< S, D, E >(S start, D size, E end, string name)	Google.OrTools.Sat.CpModel	inline
NewIntVar(long lb, long ub, string name)	Google.OrTools.Sat.CpModel	inline
NewIntVarFromDomain(Domain domain, string name)	Google.OrTools.Sat.CpModel	inline
NewOptionalFixedSizeIntervalVar< S >(S start, long size, ILiteral is_present, string name)	Google.OrTools.Sat.CpModel	inline
NewOptionalIntervalVar< S, D, E >(S start, D size, E end, ILiteral is_present, string name)	Google.OrTools.Sat.CpModel	inline
TrueLiteral()	Google.OrTools.Sat.CpModel	inline
Validate()	Google.OrTools.Sat.CpModel	inline