parser.flatzinc.ast.declaration
Class DInt2

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

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

Constructor Detail

DInt2

public DInt2(Boolean isVar,
             EInt v1,
             EInt v2)
Method Detail

getLow

public int getLow()

getUpp

public int getUpp()

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.