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

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

Field Summary

Fields

Modifier and Type	Field and Description
ModelCacheState	curState current state of cache model; recalculates on every change
FastSet	existsRoles role names that are labels of the outgoing edges from the root node
FastSet	extraDConcepts extra det-lly concepts that are (partial) Simple Rule applications
FastSet	extraNConcepts extra non-det concepts that are (partial) Simple Rule applications
FastSet	forallRoles role names that appears in the \A restrictions in the root node
FastSet	funcRoles role names that appears in the atmost restrictions in the root node
int	nC
BitSet	negDConcepts named concepts that appears negatively det-lly in a root node of a cache
BitSet	negNConcepts named concepts that appears negatively non-det in a root node of a cache
int	nR
BitSet	posDConcepts named concepts that appears positively det-lly in a root node of a cache
BitSet	posNConcepts named concepts that appears positively non-det in a root node of a cache

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
ModelCacheState	canMerge(ModelCacheInterface p) check whether two caches can be merged; @return state of "merged" model
void	clear() clear the cache
ModelCacheType	getCacheType() Get the tag identifying the cache type
ModelCacheState	getState() Check the model cache internal state.
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

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

Field Detail

posDConcepts

@PortedFrom(file="modelCacheIan.h",
            name="posDConcepts")
public BitSet posDConcepts

named concepts that appears positively det-lly in a root node of a cache

posNConcepts

@PortedFrom(file="modelCacheIan.h",
            name="posNConcepts")
public BitSet posNConcepts

named concepts that appears positively non-det in a root node of a cache

negDConcepts

@PortedFrom(file="modelCacheIan.h",
            name="negDConcepts")
public BitSet negDConcepts

named concepts that appears negatively det-lly in a root node of a cache

negNConcepts

@PortedFrom(file="modelCacheIan.h",
            name="negNConcepts")
public BitSet negNConcepts

named concepts that appears negatively non-det in a root node of a cache

extraDConcepts

@PortedFrom(file="modelCacheIan.h",
            name="extraDConcepts")
public FastSet extraDConcepts

extra det-lly concepts that are (partial) Simple Rule applications

extraNConcepts

@PortedFrom(file="modelCacheIan.h",
            name="extraNConcepts")
public FastSet extraNConcepts

extra non-det concepts that are (partial) Simple Rule applications

existsRoles

@PortedFrom(file="modelCacheIan.h",
            name="existsRoles")
public FastSet existsRoles

role names that are labels of the outgoing edges from the root node

forallRoles

@PortedFrom(file="modelCacheIan.h",
            name="forallRoles")
public FastSet forallRoles

role names that appears in the \A restrictions in the root node

funcRoles

@PortedFrom(file="modelCacheIan.h",
            name="funcRoles")
public FastSet funcRoles

role names that appears in the atmost restrictions in the root node

curState

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

current state of cache model; recalculates on every change

nC

public int nC

nR

public int nR

Constructor Detail

ModelCacheIan

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

Create cache model of given CompletionTree using given HEAP

ModelCacheIan

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

empty c'tor

Method Detail

getState

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

Description copied from class: ModelCacheInterface

Check the model cache internal state.

Specified by:

getState in class ModelCacheInterface

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

getCacheType

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

Get the tag identifying the cache type

Overrides:

getCacheType in class ModelCacheInterface

shallowCache

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

get type of cache (deep or shallow)

Overrides:

shallowCache in class ModelCacheInterface

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)

processAutomaton

@PortedFrom(file="modelCacheIan.h",
            name="processAutomaton")
public void processAutomaton(DLVertex 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; @return state of "merged" model

Specified by:

canMerge in class ModelCacheInterface

isMergableSingleton

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

isMergableIan

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

merge

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

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)

Overrides:

logCacheEntry in class ModelCacheInterface