parser.flatzinc.ast.declaration
Class DInt

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

public final class DInt
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
DInt(Boolean isVar)
           
 
Method Summary
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DInt

public DInt(Boolean isVar)
Method Detail

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.