LinearExprBuilder

Detailed Description

Builder class for the LinearExpr container.

Definition at line 20 of file sat/LinearExprBuilder.java.

Public Member Functions
LinearExprBuilder	add (LinearArgument expr)
LinearExprBuilder	add (long constant)
LinearExprBuilder	addTerm (LinearArgument expr, long coeff)
LinearExprBuilder	addSum (LinearArgument[] exprs)
LinearExprBuilder	addWeightedSum (LinearArgument[] exprs, long[] coeffs)
LinearExprBuilder	addWeightedSum (LinearArgument[] exprs, int[] coeffs)
LinearExpr	build ()
	Builds a linear expression. More...

Member Function Documentation

add() [1/2]

LinearExprBuilder add

(

LinearArgument

expr

)

Definition at line 29 of file sat/LinearExprBuilder.java.

add() [2/2]

LinearExprBuilder add

(

long

constant

)

Definition at line 34 of file sat/LinearExprBuilder.java.

addSum()

LinearExprBuilder addSum

(

LinearArgument[]

exprs

)

Definition at line 49 of file sat/LinearExprBuilder.java.

addTerm()

LinearExprBuilder addTerm	(	LinearArgument	expr,
		long	coeff
	)

Definition at line 39 of file sat/LinearExprBuilder.java.

addWeightedSum() [1/2]

LinearExprBuilder addWeightedSum	(	LinearArgument[]	exprs,
		int[]	coeffs
	)

Definition at line 63 of file sat/LinearExprBuilder.java.

addWeightedSum() [2/2]

LinearExprBuilder addWeightedSum	(	LinearArgument[]	exprs,
		long[]	coeffs
	)

Definition at line 56 of file sat/LinearExprBuilder.java.

build()

LinearExpr build

(

)

Builds a linear expression.

Implements LinearArgument.

Definition at line 71 of file sat/LinearExprBuilder.java.

---

The documentation for this class was generated from the following file:

• sat/LinearExprBuilder.java