DLV
Class Parser

java.lang.Object
  extended by DLV.Parser

public class Parser
extends java.lang.Object


Constructor Summary
Parser()
           
 
Method Summary
 long elapsedTime()
           
 java.util.Vector modelElapsedTime()
           
 void parse(java.io.BufferedReader in, DlvIOHandler dm)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Parser

public Parser()
Method Detail

elapsedTime

public long elapsedTime()

modelElapsedTime

public java.util.Vector modelElapsedTime()

parse

public void parse(java.io.BufferedReader in,
                  DlvIOHandler dm)