translate
Class ConstraintLoader

java.lang.Object
  extended by translate.ConstraintLoader

public class ConstraintLoader
extends java.lang.Object

Loads constraints from a goal file.


Constructor Summary
ConstraintLoader()
           
 
Method Summary
 java.util.ArrayList<Constraint> getConstraints(java.lang.String goalFile, Map map)
          Loads the constraints from the goal file for the specified map.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstraintLoader

public ConstraintLoader()
Method Detail

getConstraints

public java.util.ArrayList<Constraint> getConstraints(java.lang.String goalFile,
                                                      Map map)
Loads the constraints from the goal file for the specified map.

Parameters:
goalFile - - the file containing constraints
map - - the map containing the constrained objects
Returns:
- the list of constraints