uk.ac.manchester.cs.jfact.kernel

Class DLDag

java.lang.Object

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

All Implemented Interfaces:

Serializable

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

directed acyclic graph

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DLDag(JFactReasonerConfiguration options)

Method Summary

Modifier and Type	Method and Description
int	add(DLVertex v)
int	compare(int p1, int p2)
void	determineSorts(RoleMaster orm, RoleMaster drm) build the sort system for given TBox
int	directAdd(DLVertex v, boolean knownNew) 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() stats collection
DLVertex	get(int i)
ModelCacheInterface	getCache(int p)
boolean	haveSameSort(int p, int q)
int	index(NamedEntry c)
boolean	isLast(int p)
int	maxSize()
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() clean query
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;
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()
String	toString()
void	updateIndex(DagTag tag, int value) update index corresponding to DLVertex's tag
void	updateSorts(int a, Role d, int b) update sorts for (a,b):R construction

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DLDag

public DLDag(JFactReasonerConfiguration options)

Parameters:

options - 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

Parameters:

i - i

v - v

c - C

index

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

Parameters:

c - 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

Parameters:

tag - tag

value - value

directAdd

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

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

Parameters:

v - v

knownNew - true if new object is known to be required

Returns:

size of heap

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

Parameters:

v - v

Returns:

size of heap

isLast

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

Parameters:

p - p

Returns:

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

Parameters:

val - val

get

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

Parameters:

i - i

Returns:

access by index

size

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

Returns:

get size of DAG

maxSize

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

Returns:

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

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

Parameters:

p - p

Returns:

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;

Parameters:

p - p

cache - cache

merge

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

merge two given DAG entries

Parameters:

ml - ml

p - p

haveSameSort

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

Parameters:

p - p

q - q

Returns:

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

Parameters:

o - o

toString

public String toString()

Overrides:

toString in class Object

add

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

Parameters:

v - v

Returns:

bipolar pointer

setFinalSize

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

set the DAG size

removeQuery

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

clean query

setOrderDefaults

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

Parameters:

defSat - defSat

defSub - defSub

setOrderOptions

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

Parameters:

opt - opt

gatherStatistic

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

stats collection

compare

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

Parameters:

p1 - p1

p2 - p2

Returns:

true if p1 dlvertex is smaller than p2 dlvertex

printDAGUsage

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

Parameters:

o - debug dag usage

determineSorts

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

build the sort system for given TBox

Parameters:

orm - ORM

drm - DRM

updateSorts

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

update sorts for (a,b):R construction

Parameters:

a - a

d - R

b - b