parser.flatzinc.parser
Class FZNParser

java.lang.Object
  extended by parser.flatzinc.parser.FZNParser

public final class FZNParser
extends Object


Field Summary
 org.codehaus.jparsec.Parser<PConstraint> CONSTRAINT
          Scanner for constraint declaration.
 String instance
           
 Map<String,Object> map
          Map to find an object with its name.
 CPModel model
           
 org.codehaus.jparsec.Parser<ParVar> PAR_VAR_DECL
          Scanner for variable declaration.
 org.codehaus.jparsec.Parser<SolveGoal> SOLVE_GOAL
          Scanner for solve goals declaration.
 
Constructor Summary
FZNParser()
           
 
Method Summary
 void loadInstance(File file)
          Load the instance.
 SolveGoal parse()
          Scanner for flatzinc model.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

model

public final CPModel model

map

public final Map<String,Object> map
Map to find an object with its name.


instance

public String instance

PAR_VAR_DECL

public final org.codehaus.jparsec.Parser<ParVar> PAR_VAR_DECL
Scanner for variable declaration. Create ? object


CONSTRAINT

public final org.codehaus.jparsec.Parser<PConstraint> CONSTRAINT
Scanner for constraint declaration. Create a PConstraint object.


SOLVE_GOAL

public final org.codehaus.jparsec.Parser<SolveGoal> SOLVE_GOAL
Scanner for solve goals declaration. Create a SolveGoal object.

Constructor Detail

FZNParser

public FZNParser()
Method Detail

parse

public SolveGoal parse()
Scanner for flatzinc model.


loadInstance

public void loadInstance(File file)
Load the instance.

Parameters:
file - flatzinc file


Copyright © 2012. All Rights Reserved.