org.clafer.objective

Class Objective

java.lang.Object

org.clafer.objective.Objective

public class Objective
extends Object

One objective.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
AstSetExpr	getExpr() Returns the expression to optimize.
int	hashCode()
boolean	isMaximize() Check if this objective is a maximization objective.
boolean	isMinimize() Check if this objective is a minimization objective.
static Objective	maximize(AstSetExpr expression) Create a new maximization objective.
static Objective	minimize(AstSetExpr expression) Create a new minimization objective.
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

isMaximize

public boolean isMaximize()

Check if this objective is a maximization objective.

Returns:

true if the objective is to maximize the expression, false otherwise

isMinimize

public boolean isMinimize()

Check if this objective is a minimization objective.

Returns:

true if the objective is to minimize the expression, false otherwise

getExpr

public AstSetExpr getExpr()

Returns the expression to optimize.

Returns:

the expression to optimize

maximize

public static Objective maximize(AstSetExpr expression)

Create a new maximization objective.

Parameters:

expression - the expression

Returns:

maximize the expression

minimize

public static Objective minimize(AstSetExpr expression)

Create a new minimization objective.

Parameters:

expression - the expression

Returns:

minimize the expression

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object