Uses of Class
com.google.ortools.util.Domain

Packages that use Domain

Package	Description
com.google.ortools.sat
com.google.ortools.util

Uses of Domain in com.google.ortools.sat

Methods in com.google.ortools.sat that return Domain

Modifier and Type	Method	Description
Domain	IntVar.getDomain()	Returns the domain of the variable.
static Domain	CpSatHelper.variableDomain(IntegerVariableProto variable_proto)

Methods in com.google.ortools.sat with parameters of type Domain

Modifier and Type	Method	Description
Constraint	CpModel.addLinearExpressionInDomain(LinearExpr expr, Domain domain)	Adds expr in domain.
IntVar	CpModel.newIntVarFromDomain(Domain domain, java.lang.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 Domain

Modifier and Type	Method	Description
Domain	Domain.additionWith(Domain domain)	Returns {x ∈ Int64, ∃ a ∈ D, ∃ b ∈ domain, x = a + b}.
static Domain	Domain.allValues()	Returns the full domain Int64.
Domain	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 output
Domain	Domain.intersectionWith(Domain domain)	Returns the intersection of D and domain.
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} !!
Domain	Domain.unionWith(Domain domain)	Returns the union of D and domain.

Methods in com.google.ortools.util with parameters of type Domain

Modifier and Type	Method	Description
Domain	Domain.additionWith(Domain domain)	Returns {x ∈ Int64, ∃ a ∈ D, ∃ b ∈ domain, x = a + b}.
static long	mainJNI.Domain_additionWith(long jarg1, Domain jarg1_, long jarg2, Domain jarg2_)
static long	mainJNI.Domain_complement(long jarg1, Domain jarg1_)
static boolean	mainJNI.Domain_contains(long jarg1, Domain jarg1_, long jarg2)
static long[]	mainJNI.Domain_flattenedIntervals(long jarg1, Domain jarg1_)
static long	mainJNI.Domain_intersectionWith(long jarg1, Domain jarg1_, long jarg2, Domain jarg2_)
static boolean	mainJNI.Domain_isEmpty(long jarg1, Domain jarg1_)
static long	mainJNI.Domain_max(long jarg1, Domain jarg1_)
static long	mainJNI.Domain_min(long jarg1, Domain jarg1_)
static long	mainJNI.Domain_negation(long jarg1, Domain jarg1_)
static long	mainJNI.Domain_size(long jarg1, Domain jarg1_)
static java.lang.String	mainJNI.Domain_toString(long jarg1, Domain jarg1_)
static long	mainJNI.Domain_unionWith(long jarg1, Domain jarg1_, long jarg2, Domain jarg2_)
protected static long	Domain.getCPtr(Domain obj)
Domain	Domain.intersectionWith(Domain domain)	Returns the intersection of D and domain.
Domain	Domain.unionWith(Domain domain)	Returns the union of D and domain.