Module org.maxicp

Package org.maxicp.modeling

Class Factory

java.lang.Object

org.maxicp.modeling.Factory

public final class Factory
extends Object

Method Summary

Modifier and Type	Method	Description
static IntExpression	abs(IntExpression x)
static Constraint	allDifferent(IntExpression... x)
static Constraint	alternative(IntervalVar real, IntExpression n, IntervalVar... alternatives)
static Constraint	alternative(IntervalVar real, IntervalVar... alternatives)
static Constraint	alwaysIn(CumulFunction expression, int heightMin, int heightMax)
static BoolExpression	and(BoolExpression... t)
static Constraint	binPacking(IntExpression[] x, int[] weights, IntExpression[] loads)
static Constraint	circuit(IntExpression... x)
static IntExpression	cst(ModelProxy modelProxy, int v)
static Constraint	cumulative(IntExpression[] start, int[] duration, int[] demand, int capa)
static Constraint	cumulative(SeqVar seqVar, int[] starts, int[] ends, int[] load, int capacity)
static Constraint	disjunctive(IntExpression[] start, int[] duration)
static Constraint	distance(SeqVar seqVar, int[][] distanceMatrix, IntExpression distance)
static IntExpression	end(IntervalVar interval)
static BoolExpression	endAfter(IntervalVar intervalVar, int value)
static BoolExpression	endAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	endBefore(IntervalVar intervalVar, IntExpression value)
static BoolExpression	endBeforeStart(IntervalVar a, IntervalVar b)
static IntExpression	endOr(IntervalVar interval, int v)
static BoolExpression	eq(int a, IntExpression b)
static BoolExpression	eq(IntExpression a, int b)
static BoolExpression	eq(IntExpression a, IntExpression b)
static Constraint	exclude(SeqVar seqVar, int node)
static CumulFunction	flat()
static BoolExpression	ge(int a, IntExpression b)
static BoolExpression	ge(IntExpression a, int b)
static BoolExpression	ge(IntExpression a, IntExpression b)
static IntExpression	get(int[][] T, IntVar x, IntVar y)
static IntExpression	get(int[] T, IntExpression y)
static IntExpression	get(IntExpression[][] T, IntVar x, IntVar y)
static IntExpression	get(IntExpression[] T, IntExpression y)
static BoolExpression	gt(int a, IntExpression b)
static BoolExpression	gt(IntExpression a, int b)
static BoolExpression	gt(IntExpression a, IntExpression b)
static BoolExpression	implies(BoolExpression a, BoolExpression b)	Returns the logical implication of a and b
static Constraint	insert(SeqVar seqVar, int prev, int node)
static BoolExpression	le(int a, IntExpression b)
static BoolExpression	le(IntExpression a, int b)
static BoolExpression	le(IntExpression a, IntExpression b)
static Constraint	le(CumulFunction function, int limit)
static IntExpression	length(IntervalVar interval)
static Constraint	length(IntervalVar var, int length)
static IntExpression	lengthOr(IntervalVar interval, int v)
static BoolExpression	lt(int a, IntExpression b)
static BoolExpression	lt(IntExpression a, int b)
static BoolExpression	lt(IntExpression a, IntExpression b)
static ModelDispatcher	makeModelDispatcher()
static IntExpression	max(IntExpression... x)
static Objective	maximize(IntExpression x)
static Objective	maximize(IntExpression x, boolean shared)
static IntExpression	min(IntExpression... x)
static Objective	minimize(IntExpression x)
static Objective	minimize(IntExpression x, boolean shared)
static IntExpression	minus(IntExpression a)
static IntExpression	minus(IntExpression a, int v)
static IntExpression	minus(IntExpression a, IntExpression b)
static CumulFunction	minus(CumulFunction left, CumulFunction right)
static IntExpression	mul(int b, IntExpression a)
static IntExpression	mul(IntExpression... x)
static IntExpression	mul(IntExpression a, int b)
static IntExpression	mul(IntExpression x, BoolExpression b)
static Constraint	negTable(IntExpression[] x, int[][] array, Optional<Integer> starred)
static BoolExpression	neq(int a, IntExpression b)
static BoolExpression	neq(IntExpression a, int b)
static BoolExpression	neq(IntExpression a, IntExpression b)
static Constraint	noOverlap(IntervalVar... intervals)
static BoolExpression	not(BoolExpression a)
static Constraint	notBetween(SeqVar seqVar, int pred, int node, int succ)
static BoolExpression	or(BoolExpression... t)
static IntExpression	plus(IntExpression a, int v)
static IntExpression	plus(IntExpression a, IntExpression b)
static BoolExpression	present(IntervalVar var)
static CumulFunction	pulse(IntervalVar interval, int height)
static CumulFunction	pulse(IntervalVar interval, int hMin, int hMax)
static Constraint	require(SeqVar seqVar, int node)
static IntExpression	start(IntervalVar interval)
static Constraint	start(IntervalVar var, int start)
static BoolExpression	startAfter(IntervalVar intervalVar, int value)
static BoolExpression	startAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	startBefore(IntervalVar intervalVar, int value)
static BoolExpression	startBefore(IntervalVar intervalVar, IntExpression value)
static IntExpression	startOr(IntervalVar interval, int v)
static CumulFunction	stepAtEnd(IntervalVar interval, int height)
static CumulFunction	stepAtEnd(IntervalVar interval, int hMin, int hMax)
static CumulFunction	stepAtStart(IntervalVar interval, int height)
static CumulFunction	stepAtStart(IntervalVar interval, int hMin, int hMax)
static IntExpression	sum(IntExpression... x)
static CumulFunction	sum(CumulFunction... functions)
static Constraint	table(IntExpression[] x, int[][] array, Optional<Integer> starred)
static Constraint	transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist)
static Constraint	transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist, int[] serviceTime)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

makeModelDispatcher

public static ModelDispatcher makeModelDispatcher()

minimize

public static Objective minimize(IntExpression x,
 boolean shared)

minimize

public static Objective minimize(IntExpression x)

maximize

public static Objective maximize(IntExpression x,
 boolean shared)

maximize

public static Objective maximize(IntExpression x)

cst

public static IntExpression cst(ModelProxy modelProxy,
 int v)

plus

public static IntExpression plus(IntExpression a,
 int v)

plus

public static IntExpression plus(IntExpression a,
 IntExpression b)

minus

public static IntExpression minus(IntExpression a,
 int v)

minus

public static IntExpression minus(IntExpression a,
 IntExpression b)

minus

public static IntExpression minus(IntExpression a)

mul

public static IntExpression mul(IntExpression a,
 int b)

mul

public static IntExpression mul(int b,
 IntExpression a)

mul

public static IntExpression mul(IntExpression x,
 BoolExpression b)

mul

public static IntExpression mul(IntExpression... x)

abs

public static IntExpression abs(IntExpression x)

sum

public static IntExpression sum(IntExpression... x)

max

public static IntExpression max(IntExpression... x)

min

public static IntExpression min(IntExpression... x)

eq

public static BoolExpression eq(IntExpression a,
 int b)

eq

public static BoolExpression eq(int a,
 IntExpression b)

eq

public static BoolExpression eq(IntExpression a,
 IntExpression b)

neq

public static BoolExpression neq(IntExpression a,
 int b)

neq

public static BoolExpression neq(int a,
 IntExpression b)

neq

public static BoolExpression neq(IntExpression a,
 IntExpression b)

le

public static BoolExpression le(IntExpression a,
 int b)

le

public static BoolExpression le(int a,
 IntExpression b)

le

public static BoolExpression le(IntExpression a,
 IntExpression b)

lt

public static BoolExpression lt(int a,
 IntExpression b)

lt

public static BoolExpression lt(IntExpression a,
 int b)

lt

public static BoolExpression lt(IntExpression a,
 IntExpression b)

ge

public static BoolExpression ge(IntExpression a,
 int b)

ge

public static BoolExpression ge(int a,
 IntExpression b)

ge

public static BoolExpression ge(IntExpression a,
 IntExpression b)

gt

public static BoolExpression gt(IntExpression a,
 int b)

gt

public static BoolExpression gt(int a,
 IntExpression b)

gt

public static BoolExpression gt(IntExpression a,
 IntExpression b)

not

public static BoolExpression not(BoolExpression a)

and

public static BoolExpression and(BoolExpression... t)

or

public static BoolExpression or(BoolExpression... t)

implies

public static BoolExpression implies(BoolExpression a,
 BoolExpression b)

Returns the logical implication of a and b

Parameters:

a - a boolean expression

b - a boolean expression

Returns:

a => b

endBeforeStart

public static BoolExpression endBeforeStart(IntervalVar a,
 IntervalVar b)

get

public static IntExpression get(int[] T,
 IntExpression y)

get

public static IntExpression get(IntExpression[] T,
 IntExpression y)

get

public static IntExpression get(int[][] T,
 IntVar x,
 IntVar y)

get

public static IntExpression get(IntExpression[][] T,
 IntVar x,
 IntVar y)

allDifferent

public static Constraint allDifferent(IntExpression... x)

binPacking

public static Constraint binPacking(IntExpression[] x,
 int[] weights,
 IntExpression[] loads)

circuit

public static Constraint circuit(IntExpression... x)

table

public static Constraint table(IntExpression[] x,
 int[][] array,
 Optional<Integer> starred)

negTable

public static Constraint negTable(IntExpression[] x,
 int[][] array,
 Optional<Integer> starred)

cumulative

public static Constraint cumulative(IntExpression[] start,
 int[] duration,
 int[] demand,
 int capa)

disjunctive

public static Constraint disjunctive(IntExpression[] start,
 int[] duration)

distance

public static Constraint distance(SeqVar seqVar,
 int[][] distanceMatrix,
 IntExpression distance)

require

public static Constraint require(SeqVar seqVar,
 int node)

insert

public static Constraint insert(SeqVar seqVar,
 int prev,
 int node)

exclude

public static Constraint exclude(SeqVar seqVar,
 int node)

notBetween

public static Constraint notBetween(SeqVar seqVar,
 int pred,
 int node,
 int succ)

transitionTimes

public static Constraint transitionTimes(SeqVar seqVar,
 IntExpression[] time,
 int[][] dist)

transitionTimes

public static Constraint transitionTimes(SeqVar seqVar,
 IntExpression[] time,
 int[][] dist,
 int[] serviceTime)

cumulative

public static Constraint cumulative(SeqVar seqVar,
 int[] starts,
 int[] ends,
 int[] load,
 int capacity)

noOverlap

public static Constraint noOverlap(IntervalVar... intervals)

alternative

public static Constraint alternative(IntervalVar real,
 IntervalVar... alternatives)

alternative

public static Constraint alternative(IntervalVar real,
 IntExpression n,
 IntervalVar... alternatives)

length

public static Constraint length(IntervalVar var,
 int length)

present

public static BoolExpression present(IntervalVar var)

start

public static Constraint start(IntervalVar var,
 int start)

startOr

public static IntExpression startOr(IntervalVar interval,
 int v)

start

public static IntExpression start(IntervalVar interval)

endOr

public static IntExpression endOr(IntervalVar interval,
 int v)

end

public static IntExpression end(IntervalVar interval)

length

public static IntExpression length(IntervalVar interval)

lengthOr

public static IntExpression lengthOr(IntervalVar interval,
 int v)

endBefore

public static BoolExpression endBefore(IntervalVar intervalVar,
 IntExpression value)

endAfter

public static BoolExpression endAfter(IntervalVar intervalVar,
 IntExpression value)

endAfter

public static BoolExpression endAfter(IntervalVar intervalVar,
 int value)

startBefore

public static BoolExpression startBefore(IntervalVar intervalVar,
 IntExpression value)

startBefore

public static BoolExpression startBefore(IntervalVar intervalVar,
 int value)

startAfter

public static BoolExpression startAfter(IntervalVar intervalVar,
 IntExpression value)

startAfter

public static BoolExpression startAfter(IntervalVar intervalVar,
 int value)

flat

public static CumulFunction flat()

pulse

public static CumulFunction pulse(IntervalVar interval,
 int height)

pulse

public static CumulFunction pulse(IntervalVar interval,
 int hMin,
 int hMax)

sum

public static CumulFunction sum(CumulFunction... functions)

minus

public static CumulFunction minus(CumulFunction left,
 CumulFunction right)

stepAtEnd

public static CumulFunction stepAtEnd(IntervalVar interval,
 int hMin,
 int hMax)

stepAtEnd

public static CumulFunction stepAtEnd(IntervalVar interval,
 int height)

stepAtStart

public static CumulFunction stepAtStart(IntervalVar interval,
 int hMin,
 int hMax)

stepAtStart

public static CumulFunction stepAtStart(IntervalVar interval,
 int height)

le

public static Constraint le(CumulFunction function,
 int limit)

alwaysIn

public static Constraint alwaysIn(CumulFunction expression,
 int heightMin,
 int heightMax)