net.sf.tweety.lp.asp.solver

Class SolveTime

java.lang.Object

net.sf.tweety.lp.asp.solver.SolveTime

public class SolveTime
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
long	calculate nanoseconds to perform answer set calculation
long	read nanoseconds to parse back answer sets (accumulated over all answer sets)
long	write nanoseconds to transfer program to solver

Constructor Summary

Constructors

Constructor and Description
SolveTime()
SolveTime(SolveTime st)

Method Summary

Modifier and Type	Method and Description
void	beginCalculate()
void	beginRead()
void	beginWrite()
void	endCalculate()
void	endRead()
void	endWrite()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

write

public long write

nanoseconds to transfer program to solver

calculate

public long calculate

nanoseconds to perform answer set calculation

read

public long read

nanoseconds to parse back answer sets (accumulated over all answer sets)

Constructor Detail

SolveTime

public SolveTime()

SolveTime

public SolveTime(SolveTime st)

Method Detail

beginWrite

public void beginWrite()

endWrite

public void endWrite()

beginCalculate

public void beginCalculate()

endCalculate

public void endCalculate()

beginRead

public void beginRead()

endRead

public void endRead()