Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

DLV
Class Parser

java.lang.Object
  extended byDLV.Parser
public class Parser
extends java.lang.Object

Constructor Summary
Parser()
           
 
Method Summary
 void parse(java.io.BufferedReader in, DLV.core.DlvIOHandler dm)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Parser

public Parser()
Method Detail

parse

public void parse(java.io.BufferedReader in,
                  DLV.core.DlvIOHandler dm)
Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD