uk.ac.manchester.cs.jfact.kernel.modelcaches

Class ModelCacheIan

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface

uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan

All Implemented Interfaces:

Serializable

@PortedFrom(file="modelCacheIan.h",
            name="modelCacheIan")
public class ModelCacheIan
extends ModelCacheInterface

model cache Ian (Horrocks)

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ModelCacheIan(boolean flagNominals, int nC, int nR, JFactReasonerConfiguration simpleRules)
ModelCacheIan(DLDag heap, DlCompletionTree p, boolean flagNominals, int nC, int nR, JFactReasonerConfiguration simpleRules) Create cache model of given CompletionTree using given HEAP

Method Summary

Modifier and Type	Method and Description
ModelCacheState	canMerge(ModelCacheInterface p) check whether two caches can be merged;
void	clear() clear the cache
ModelCacheType	getCacheType() Get the tag identifying the cache type
ModelCacheState	getState()
void	initRolesFromArcs(DlCompletionTree pCT) init existRoles from arcs; can be used to create pseudo-cache with deps of CT edges
ModelCacheState	isMergableIan(ModelCacheIan q)
ModelCacheState	isMergableSingleton(int singleton, boolean pos)
void	logCacheEntry(int level, LogAdapter l) log this cache entry (with given level)
ModelCacheState	merge(ModelCacheInterface p)
void	processAutomaton(DLVertex cur)
void	processConcept(DLVertex cur, boolean pos, boolean det)
boolean	shallowCache() get type of cache (deep or shallow)

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface

hasNominalClash, isHasNominalNode, setHasNominalNode, updateNominalStatus

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelCacheIan

public ModelCacheIan(DLDag heap,
                     DlCompletionTree p,
                     boolean flagNominals,
                     int nC,
                     int nR,
                     JFactReasonerConfiguration simpleRules)

Create cache model of given CompletionTree using given HEAP

Parameters:

heap - heap

p - p

flagNominals - flagNominals

nC - nC

nR - nR

simpleRules - simpleRules

ModelCacheIan

public ModelCacheIan(boolean flagNominals,
                     int nC,
                     int nR,
                     JFactReasonerConfiguration simpleRules)

Parameters:

flagNominals - flagNominals

nC - nC

nR - nR

simpleRules - simpleRules

Method Detail

getState

@PortedFrom(file="modelCacheIan.h",
            name="getState")
public ModelCacheState getState()

Specified by:

getState in class ModelCacheInterface

Returns:

Check the model cache internal state.

initRolesFromArcs

@PortedFrom(file="modelCacheIan.h",
            name="initRolesFromArcs")
public void initRolesFromArcs(DlCompletionTree pCT)

init existRoles from arcs; can be used to create pseudo-cache with deps of CT edges

Parameters:

pCT - pCT

getCacheType

@PortedFrom(file="modelCacheIan.h",
            name="getCacheType")
public ModelCacheType getCacheType()

Get the tag identifying the cache type

Overrides:

getCacheType in class ModelCacheInterface

Returns:

the tag identifying the cache type

shallowCache

@PortedFrom(file="modelCacheIan.h",
            name="shallowCache")
public boolean shallowCache()

get type of cache (deep or shallow)

Overrides:

shallowCache in class ModelCacheInterface

Returns:

type of cache (deep or shallow)

clear

@PortedFrom(file="modelCacheIan.h",
            name="clear")
public void clear()

clear the cache

processConcept

@PortedFrom(file="modelCacheIan.h",
            name="processConcept")
public void processConcept(DLVertex cur,
                                                                                                  boolean pos,
                                                                                                  boolean det)

Parameters:

cur - cur

pos - pos

det - det

processAutomaton

@PortedFrom(file="modelCacheIan.h",
            name="processAutomaton")
public void processAutomaton(DLVertex cur)

Parameters:

cur - cur

canMerge

@PortedFrom(file="modelCacheIan.h",
            name="canMerge")
public ModelCacheState canMerge(ModelCacheInterface p)

Description copied from class: ModelCacheInterface

check whether two caches can be merged;

Specified by:

canMerge in class ModelCacheInterface

Parameters:

p - p

Returns:

state of "merged" model

isMergableSingleton

@PortedFrom(file="modelCacheIan.h",
            name="isMergableSingleton")
public ModelCacheState isMergableSingleton(int singleton,
                                                                                                                       boolean pos)

Parameters:

singleton - Singleton

pos - pos

Returns:

invalid, failed or valid depending on whether singleton is included

isMergableIan

@PortedFrom(file="modelCacheIan.h",
            name="isMergableIan")
public ModelCacheState isMergableIan(ModelCacheIan q)

Parameters:

q - q

Returns:

invalid, failed or valid

merge

@PortedFrom(file="modelCacheIan.h",
            name="merge")
public ModelCacheState merge(ModelCacheInterface p)

Parameters:

p - p

Returns:

invalid, failed or valid

logCacheEntry

@PortedFrom(file="modelCacheIan.h",
            name="logCacheEntry")
public void logCacheEntry(int level,
                                                                                                LogAdapter l)

Description copied from class: ModelCacheInterface

log this cache entry (with given level)

Specified by:

logCacheEntry in class ModelCacheInterface

Parameters:

level - level

l - l