parser.flatzinc.ast
Class Parameter

java.lang.Object
  extended by parser.flatzinc.ast.ParVar
      extended by parser.flatzinc.ast.Parameter

public final class Parameter
extends ParVar


Constructor Summary
Parameter(HashMap<String,Object> map, Declaration type, String identifier, Expression expression)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Parameter

public Parameter(HashMap<String,Object> map,
                 Declaration type,
                 String identifier,
                 Expression expression)


Copyright © 2012. All Rights Reserved.