blog
Class BLOGParser.PotentialSpec
java.lang.Object
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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
cls
public java.lang.Class cls
params
public java.util.List<ArgSpec> params
args
public java.util.List<Term> args
BLOGParser.PotentialSpec
public BLOGParser.PotentialSpec(java.lang.Class cls,
java.util.List params,
java.util.List args)