blog
Class BLOGParser.PotentialSpec

java.lang.Object
  extended by blog.BLOGParser.PotentialSpec
Enclosing class:
BLOGParser

public static class BLOGParser.PotentialSpec
extends java.lang.Object

Nested class that specifies a potential with parameters and arguments.


Field Summary
 java.util.List<Term> args
           
 java.lang.Class cls
           
 java.util.List<ArgSpec> params
           
 
Constructor Summary
BLOGParser.PotentialSpec(java.lang.Class cls, java.util.List params, java.util.List args)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

cls

public java.lang.Class cls

params

public java.util.List<ArgSpec> params

args

public java.util.List<Term> args
Constructor Detail

BLOGParser.PotentialSpec

public BLOGParser.PotentialSpec(java.lang.Class cls,
                                java.util.List params,
                                java.util.List args)