uk.ac.manchester.cs.jfact.kernel

Class DLDag

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.DLDag

@PortedFrom(file="dlDag.h",
            name="DLDag")
public class DLDag
extends Object

Constructor Summary

Constructors

Constructor and Description
DLDag(JFactReasonerConfiguration Options)

Method Summary

Methods

Modifier and Type	Method and Description
int	add(DLVertex v)
void	determineSorts(RoleMaster ORM, RoleMaster DRM) build the sort system for given TBox
int	directAdd(DLVertex v) add vertex to the end of DAG and calculate it's statistic if necessary
int	directAddAndCache(DLVertex v) add vertex to the end of DAG and calculate it's statistic if necessary; put it into cache
void	gatherStatistic()
DLVertex	get(int i) access by index
ModelCacheInterface	getCache(int p) get cache for given BiPointer (may return null if no cache defined)
boolean	haveSameSort(int p, int q) check if two BPs are of the same sort
int	index(NamedEntry c)
boolean	isLast(int p) check if given index points to the last DAG entry
boolean	less(int p1, int p2)
int	maxSize() get approximation of the size after query is added
void	merge(MergableLabel ml, int p) merge two given DAG entries
void	printDAGUsage(LogAdapter o)
void	printStat(LogAdapter o) print DAG size and number of cache hits, together with DAG usage
void	removeQuery()
void	replaceVertex(int i, DLVertex v, NamedEntry C) replace existing vertex at index I with a vertex V
void	setCache(int p, ModelCacheInterface cache) set cache for given BiPointer; @return given cache
void	setExpressionCache(boolean val) whether to use cache for nodes
void	setFinalSize() set the DAG size
void	setOrderDefaults(String defSat, String defSub)
void	setOrderOptions(String opt)
void	setSatOrder() use SAT options to OR ordering;
void	setSubOrder() use SUB options to OR ordering
int	size() get size of DAG
String	toString()
void	updateIndex(DagTag tag, int value) update index corresponding to DLVertex's tag
void	updateSorts(int a, Role R, int b) update sorts for :R construction

Methods inherited from class java.lang.Object

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

Constructor Detail

DLDag

public DLDag(JFactReasonerConfiguration Options)

Method Detail

replaceVertex

@PortedFrom(file="dlDag.h",
            name="replaceVertex")
public void replaceVertex(int i,
                                    DLVertex v,
                                    NamedEntry C)

replace existing vertex at index I with a vertex V

index

@PortedFrom(file="dlDag.h",
            name="index")
public int index(NamedEntry c)

Returns:

index of a vertex containing a concept

updateIndex

@PortedFrom(file="dlDag.h",
            name="updateIndex")
public void updateIndex(DagTag tag,
                                  int value)

update index corresponding to DLVertex's tag

directAdd

@PortedFrom(file="dlDag.h",
            name="directAdd")
public int directAdd(DLVertex v)

add vertex to the end of DAG and calculate it's statistic if necessary

directAddAndCache

@PortedFrom(file="dlDag.h",
            name="directAddAndCache")
public int directAddAndCache(DLVertex v)

add vertex to the end of DAG and calculate it's statistic if necessary; put it into cache

isLast

@PortedFrom(file="dlDag.h",
            name="isLast")
public boolean isLast(int p)

check if given index points to the last DAG entry

setExpressionCache

@PortedFrom(file="dlDag.h",
            name="setExpressionCache")
public void setExpressionCache(boolean val)

whether to use cache for nodes

get

@PortedFrom(file="dlDag.h",
            name="get")
public DLVertex get(int i)

access by index

size

@PortedFrom(file="dlDag.h",
            name="size")
public int size()

get size of DAG

maxSize

@PortedFrom(file="dlDag.h",
            name="maxSize")
public int maxSize()

get approximation of the size after query is added

setSubOrder

@PortedFrom(file="dlDag.h",
            name="setSubOrder")
public void setSubOrder()

use SUB options to OR ordering

setSatOrder

@PortedFrom(file="dlDag.h",
            name="setSatOrder")
public void setSatOrder()

use SAT options to OR ordering;

getCache

@PortedFrom(file="dlDag.h",
            name="getCache")
public ModelCacheInterface getCache(int p)

get cache for given BiPointer (may return null if no cache defined)

setCache

@PortedFrom(file="dlDag.h",
            name="setCache")
public void setCache(int p,
                               ModelCacheInterface cache)

set cache for given BiPointer; @return given cache

merge

@PortedFrom(file="dlDag.h",
            name="merge")
public void merge(MergableLabel ml,
                            int p)

merge two given DAG entries

haveSameSort

@PortedFrom(file="dlDag.h",
            name="haveSameSort")
public boolean haveSameSort(int p,
                                      int q)

check if two BPs are of the same sort

printStat

@PortedFrom(file="dlDag.h",
            name="PrintStat")
public void printStat(LogAdapter o)

print DAG size and number of cache hits, together with DAG usage

toString

public String toString()

Overrides:

toString in class Object

add

@PortedFrom(file="dlDag.h",
            name="add")
public int add(DLVertex v)

setFinalSize

@PortedFrom(file="dlDag.h",
            name="setFinalSize")
public void setFinalSize()

set the DAG size

removeQuery

@PortedFrom(file="dlDag.h",
            name="removeQuery")
public void removeQuery()

setOrderDefaults

@PortedFrom(file="dlDag.h",
            name="setOrderDefaults")
public void setOrderDefaults(String defSat,
                                       String defSub)

setOrderOptions

@PortedFrom(file="dlDag.h",
            name="setOrderOptions")
public void setOrderOptions(String opt)

gatherStatistic

@PortedFrom(file="dlDag.h",
            name="gatherStatistic")
public void gatherStatistic()

less

@PortedFrom(file="dlDag.h",
            name="less")
public boolean less(int p1,
                              int p2)

printDAGUsage

@PortedFrom(file="dlDag.h",
            name="PrintDAGUsage")
public void printDAGUsage(LogAdapter o)

determineSorts

@PortedFrom(file="dlDag.h",
            name="determineSorts")
public void determineSorts(RoleMaster ORM,
                                     RoleMaster DRM)

build the sort system for given TBox

updateSorts

@PortedFrom(file="dlDag.h",
            name="updateSorts")
public void updateSorts(int a,
                                  Role R,
                                  int b)

update sorts for :R construction