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

Class ModelCacheInterface

java.lang.Object

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

Direct Known Subclasses:

ModelCacheConst, ModelCacheIan, ModelCacheSingleton

@PortedFrom(file="modelCacheInterface.h",
            name="modelCacheInterface")
public abstract class ModelCacheInterface
extends Object

Constructor Summary

Constructors

Constructor and Description
ModelCacheInterface(boolean flagNominals) Create cache model with given precense of nominals

Method Summary

Methods

Modifier and Type	Method and Description
abstract ModelCacheState	canMerge(ModelCacheInterface p) check whether two caches can be merged; @return state of "merged" model
ModelCacheType	getCacheType() Get the tag identifying the cache type
abstract ModelCacheState	getState() Check the model cache internal state.
boolean	hasNominalClash(ModelCacheInterface p) check whether both models have nominals; in this case, merge is impossible
boolean	isHasNominalNode()
void	logCacheEntry(int level, LogAdapter l) log this cache entry (with given level)
void	setHasNominalNode(boolean hasNominalNode)
boolean	shallowCache() get type of cache (deep or shallow)
void	updateNominalStatus(ModelCacheInterface p) update knoweledge about nominals in the model after merging

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelCacheInterface

public ModelCacheInterface(boolean flagNominals)

Create cache model with given precense of nominals

Method Detail

hasNominalClash

@PortedFrom(file="modelCacheInterface.h",
            name="hasNominalClash")
public boolean hasNominalClash(ModelCacheInterface p)

check whether both models have nominals; in this case, merge is impossible

updateNominalStatus

@PortedFrom(file="modelCacheInterface.h",
            name="updateNominalStatus")
public void updateNominalStatus(ModelCacheInterface p)

update knoweledge about nominals in the model after merging

getState

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

Check the model cache internal state.

canMerge

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

check whether two caches can be merged; @return state of "merged" model

getCacheType

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

Get the tag identifying the cache type

shallowCache

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

get type of cache (deep or shallow)

logCacheEntry

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

log this cache entry (with given level)

setHasNominalNode

@Original
public void setHasNominalNode(boolean hasNominalNode)

isHasNominalNode

@Original
public boolean isHasNominalNode()