Uses of Class
com.google.ortools.util.Domain
Packages that use Domain
Package
Description
-
Uses of Domain in com.google.ortools.constraintsolver
Methods in com.google.ortools.constraintsolver that return DomainModifier and TypeMethodDescriptionRoutingModel.ResourceGroup.Attributes.end_domain()
RoutingModel.ResourceGroup.Attributes.start_domain()
Methods in com.google.ortools.constraintsolver with parameters of type DomainModifier and TypeMethodDescriptionstatic final long
mainJNI.new_RoutingModel_ResourceGroup_Attributes__SWIG_1
(long jarg1, Domain jarg1_, long jarg2, Domain jarg2_) Constructors in com.google.ortools.constraintsolver with parameters of type Domain -
Uses of Domain in com.google.ortools.sat
Methods in com.google.ortools.sat that return DomainModifier and TypeMethodDescriptionIntVar.getDomain()
Returns the domain of the variable.static Domain
CpSatHelper.variableDomain
(IntegerVariableProto variable_proto) Methods in com.google.ortools.sat with parameters of type DomainModifier and TypeMethodDescriptionCpModel.addLinearExpressionInDomain
(LinearArgument expr, Domain domain) Addsexpr in domain
.CpModel.newIntVarFromDomain
(Domain domain, String name) Creates an integer variable with given domain. -
Uses of Domain in com.google.ortools.util
Methods in com.google.ortools.util that return DomainModifier and TypeMethodDescriptionDomain.additionWith
(Domain domain) Returns {x ∈ Int64, ∃ a ∈ D, ∃ b ∈ domain, x = a + b}.static Domain
Domain.allValues()
Returns the full domain Int64.Domain.complement()
Returns the set Int64 ∖ D.static Domain
Domain.fromFlatIntervals
(long[] flat_intervals) This method is available in Python, Java and .NET.static Domain
Domain.fromIntervals
(long[][] intervals) This method is available in Python, Java and .NET.static Domain
Domain.fromValues
(long[] values) Creates a domain from the union of an unsorted list of integer values.
Input values may be repeated, with no consequence on the outputDomain.intersectionWith
(Domain domain) Returns the intersection of D and domain.Domain.negation()
Returns {x ∈ Int64, ∃ e ∈ D, x = -e}.
Note in particular that if the negation of Int64 is not Int64 but
Int64 \ {kint64min} !!Returns the union of D and domain.Methods in com.google.ortools.util with parameters of type DomainModifier and TypeMethodDescriptionDomain.additionWith
(Domain domain) Returns {x ∈ Int64, ∃ a ∈ D, ∃ b ∈ domain, x = a + b}.static final long
mainJNI.Domain_additionWith
(long jarg1, Domain jarg1_, long jarg2, Domain jarg2_) static final long
mainJNI.Domain_complement
(long jarg1, Domain jarg1_) static final boolean
mainJNI.Domain_contains
(long jarg1, Domain jarg1_, long jarg2) static final long[]
mainJNI.Domain_flattenedIntervals
(long jarg1, Domain jarg1_) static final long
mainJNI.Domain_intersectionWith
(long jarg1, Domain jarg1_, long jarg2, Domain jarg2_) static final boolean
mainJNI.Domain_isEmpty
(long jarg1, Domain jarg1_) static final long
mainJNI.Domain_max
(long jarg1, Domain jarg1_) static final long
mainJNI.Domain_min
(long jarg1, Domain jarg1_) static final long
mainJNI.Domain_negation
(long jarg1, Domain jarg1_) static final long
mainJNI.Domain_size
(long jarg1, Domain jarg1_) static final String
mainJNI.Domain_toString
(long jarg1, Domain jarg1_) static final long
mainJNI.Domain_unionWith
(long jarg1, Domain jarg1_, long jarg2, Domain jarg2_) static long
Domain.intersectionWith
(Domain domain) Returns the intersection of D and domain.static long
Domain.swigRelease
(Domain obj) Returns the union of D and domain.