nenok.parser
Class ResultSet
java.lang.Object
nenok.parser.ResultSet
public class ResultSet
- extends Object
This class is a content holder to store the components
that were constructed by the parsing method. Essentially,
it enables the parsing method to return valuations as well as queries.
- Version:
- 1.1
- Author:
- Marc Pouly
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
vals
public Valuation[] vals
- An array of valuations.
queries
public Domain[] queries
- An array of queries (i.e. domains).
ResultSet
public ResultSet(Valuation[] vals,
Domain[] queries)
- Constructor:
- Parameters:
vals
- An array of valuations.queries
- An array of queries (i.e. domains).