parser.flatzinc.ast
Class PredParam

java.lang.Object
  extended by parser.flatzinc.ast.PredParam

public final class PredParam
extends Object


Constructor Summary
PredParam(Declaration type, String identifier)
           
 
Method Summary
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PredParam

public PredParam(Declaration type,
                 String identifier)
Method Detail

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.