org.mindswap.pellet
Class ABoxStats

java.lang.Object
  extended by org.mindswap.pellet.ABoxStats

public class ABoxStats
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
 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
ABoxStats()
           
 
Method Summary
 void add(ABoxStats other)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, 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 java.lang.String toString()
Overrides:
toString in class java.lang.Object


Copyright © 2004 Evren Sirin. All Rights Reserved.