parser.flatzinc.ast.expression
Class ESetList

java.lang.Object
  extended by parser.flatzinc.ast.expression.Expression
      extended by parser.flatzinc.ast.expression.ESet
          extended by parser.flatzinc.ast.expression.ESetList

public final class ESetList
extends ESet


Nested Class Summary
 
Nested classes/interfaces inherited from class parser.flatzinc.ast.expression.Expression
Expression.EType
 
Field Summary
 
Fields inherited from class parser.flatzinc.ast.expression.Expression
bool_arr, int_arr
 
Constructor Summary
ESetList(List<EInt> sl)
           
 
Method Summary
 int[] enumVal()
           
 String toString()
           
 
Methods inherited from class parser.flatzinc.ast.expression.ESet
intValue, intVarValue, setVarValue, toIntArray, toIntVarArray, toSetVarArray
 
Methods inherited from class parser.flatzinc.ast.expression.Expression
getTypeOf
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ESetList

public ESetList(List<EInt> sl)
Method Detail

enumVal

public int[] enumVal()
Specified by:
enumVal in class ESet

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.