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

Class ModelCacheInterface

java.lang.Object

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ModelCacheConst, ModelCacheIan, ModelCacheSingleton

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

model cache

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
abstract ModelCacheState	canMerge(ModelCacheInterface p) check whether two caches can be merged;
ModelCacheType	getCacheType()
abstract ModelCacheState	getState()
boolean	hasNominalClash(ModelCacheInterface p)
boolean	isHasNominalNode()
abstract void	logCacheEntry(int level, LogAdapter l) log this cache entry (with given level)
void	setHasNominalNode(boolean hasNominalNode)
boolean	shallowCache()
void	updateNominalStatus(ModelCacheInterface p) update knoweledge about nominals in the model after merging

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelCacheInterface

public ModelCacheInterface(boolean flagNominals)

Create cache model with given precense of nominals

Parameters:

flagNominals - flagNominals

Method Detail

hasNominalClash

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

Parameters:

p - p

Returns:

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

Parameters:

p - p

getState

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

Returns:

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;

Parameters:

p - p

Returns:

state of "merged" model

getCacheType

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

Returns:

the tag identifying the cache type

shallowCache

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

Returns:

type of cache (deep or shallow)

logCacheEntry

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

log this cache entry (with given level)

Parameters:

level - level

l - l

setHasNominalNode

@Original
public void setHasNominalNode(boolean hasNominalNode)

Parameters:

hasNominalNode - hasNominalNode

isHasNominalNode

@Original
public boolean isHasNominalNode()

Returns:

has nominal node