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

Class ModelCacheSingleton

java.lang.Object

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

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

All Implemented Interfaces:

Serializable

@PortedFrom(file="modelCacheSingleton.h",
            name="modelCacheSingleton")
public class ModelCacheSingleton
extends ModelCacheInterface

Model caching implementation for singleton models. Such models contains only one [negated] concept in completion tree. Reduced set of operations, but very efficient.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ModelCacheSingleton(int bp)

Method Summary

Modifier and Type	Method and Description
ModelCacheState	canMerge(ModelCacheInterface p) check whether two caches can be merged;
ModelCacheType	getCacheType() Get the tag identifying the cache type
ModelCacheState	getState() Check if the model contains clash
int	getValue()
void	logCacheEntry(int level, LogAdapter l) log this cache entry (with given level)

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

hasNominalClash, isHasNominalNode, setHasNominalNode, shallowCache, updateNominalStatus

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelCacheSingleton

public ModelCacheSingleton(int bp)

Parameters:

bp - bp

Method Detail

getState

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

Check if the model contains clash

Specified by:

getState in class ModelCacheInterface

Returns:

Check the model cache internal state.

getValue

@PortedFrom(file="modelCacheSingleton.h",
            name="getValue")
public int getValue()

Returns:

internal value

canMerge

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

check whether two caches can be merged;

Specified by:

canMerge in class ModelCacheInterface

Parameters:

p - p

Returns:

state of "merged" model

getCacheType

@PortedFrom(file="modelCacheSingleton.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

logCacheEntry

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

log this cache entry (with given level)

Specified by:

logCacheEntry in class ModelCacheInterface

Parameters:

level - level

l - l