parser.flatzinc.ast.declaration
Class DSet

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

public final class DSet
extends Declaration


Nested Class Summary
 
Nested classes/interfaces inherited from class parser.flatzinc.ast.declaration.Declaration
Declaration.DType
 
Field Summary
 Declaration what
           
 
Fields inherited from class parser.flatzinc.ast.declaration.Declaration
isVar, typeOf
 
Constructor Summary
DSet(Boolean isVar, Declaration what)
           
 
Method Summary
 Declaration getWhat()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

what

public final Declaration what
Constructor Detail

DSet

public DSet(Boolean isVar,
            Declaration what)
Method Detail

getWhat

public Declaration getWhat()

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.