org.clafer.ast.compiler

Class AstSolutionMap

java.lang.Object

org.clafer.ast.compiler.AstSolutionMap

public class AstSolutionMap
extends Object

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
Analysis	getAnalysis()
AstModel	getModel()
IrIntVar	getObjectiveVar(Objective objective) Returns the variable associated to the objective.
IrIntVar[]	getRefVars(AstRef ref) Returns the reference variables associated to the reference.
IrSetVar[]	getSiblingVars(AstClafer clafer) Returns the sibling variables associated with the Clafer.
IrBoolVar	getSoftVar(AstConstraint constraint) Returns the soft variable associated to the constraint.
IrBoolVar[]	getSoftVars()
Map<AstConstraint,IrBoolVar>	getSoftVarsMap()
IrIntVar	getSumSoftVar() Returns the variable equal to the sum of the soft variables.

Methods inherited from class java.lang.Object

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

Method Detail

getModel

public AstModel getModel()

getAnalysis

public Analysis getAnalysis()

getSiblingVars

public IrSetVar[] getSiblingVars(AstClafer clafer)

Returns the sibling variables associated with the Clafer.

Parameters:

clafer - the Clafer

Returns:

the sibling variables associated with the Clafer

getRefVars

public IrIntVar[] getRefVars(AstRef ref)

Returns the reference variables associated to the reference.

Parameters:

ref - the reference

Returns:

the reference variables associated to the reference

getSoftVar

public IrBoolVar getSoftVar(AstConstraint constraint)

Returns the soft variable associated to the constraint.

Parameters:

constraint - the constraint

Returns:

the soft variable associated to the constraint

getSoftVars

public IrBoolVar[] getSoftVars()

getSoftVarsMap

public Map<AstConstraint,IrBoolVar> getSoftVarsMap()

getSumSoftVar

public IrIntVar getSumSoftVar()

Returns the variable equal to the sum of the soft variables.

Returns:

the variable equal to the sum of the soft variables

getObjectiveVar

public IrIntVar getObjectiveVar(Objective objective)

Returns the variable associated to the objective.

Parameters:

objective - the objective

Returns:

the variable associated to the objective