parser.flatzinc.ast.declaration
Class DArray

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

public final class DArray
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
DArray(Declaration index, Declaration what)
           
 
Method Summary
 Declaration getIndex()
           
 Declaration getWhat()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DArray

public DArray(Declaration index,
              Declaration what)
Method Detail

getIndex

public Declaration getIndex()

getWhat

public Declaration getWhat()

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.