org.mindswap.pellet

Class ABoxStats

java.lang.Object

org.mindswap.pellet.ABoxStats

public class ABoxStats
extends Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
int	backjumps
int	backtracks
int	branch
long	consistencyCount Total number of ABox consistency checks
int	globalRestores
int	localRestores
long	satisfiabilityCount Total number of satisfiability tests performed
int	size size of the completion graph
short	treeDepth

Constructor Summary

Constructors

Constructor and Description
ABoxStats()

Method Summary

Methods

Modifier and Type	Method and Description
void	add(ABoxStats other)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

consistencyCount

public long consistencyCount

Total number of ABox consistency checks

satisfiabilityCount

public long satisfiabilityCount

Total number of satisfiability tests performed

size

public int size

size of the completion graph

treeDepth

public short treeDepth

backjumps

public int backjumps

backtracks

public int backtracks

globalRestores

public int globalRestores

localRestores

public int localRestores

branch

public int branch

Constructor Detail

ABoxStats

public ABoxStats()

Method Detail

add

public void add(ABoxStats other)

toString

public String toString()

Overrides:

toString in class Object