parser.flatzinc.ast.declaration
Class DManyInt

java.lang.Object
  extended by parser.flatzinc.ast.declaration.Declaration
      extended by parser.flatzinc.ast.declaration.DManyInt

public final class DManyInt
extends Declaration


Nested Class Summary
 
Nested classes/interfaces inherited from class parser.flatzinc.ast.declaration.Declaration
Declaration.DType
 
Field Summary
 
Fields inherited from class parser.flatzinc.ast.declaration.Declaration
isVar, typeOf
 
Constructor Summary
DManyInt(Boolean isVar, List<EInt> values)
           
 
Method Summary
 int[] getValues()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DManyInt

public DManyInt(Boolean isVar,
                List<EInt> values)
Method Detail

getValues

public int[] getValues()

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.