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

Class ModelCacheConst

java.lang.Object

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

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

All Implemented Interfaces:

Serializable

@PortedFrom(file="modelCacheConst.h",
            name="modelCacheConst")
public class ModelCacheConst
extends ModelCacheInterface

model cache const

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ModelCacheConst(boolean top) c'tor: no nominals can be here

Method Summary

Modifier and Type	Method and Description
ModelCacheState	canMerge(ModelCacheInterface p) check whether two caches can be merged;
static ModelCacheConst	createConstCache(int bp)
ModelCacheType	getCacheType() Get the tag identifying the cache type
boolean	getConst()
ModelCacheState	getState() Check if the model contains clash
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

ModelCacheConst

public ModelCacheConst(boolean top)

c'tor: no nominals can be here

Parameters:

top - top

Method Detail

getState

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

getConst

@PortedFrom(file="modelCacheConst.h",
            name="getConst")
public boolean getConst()

Returns:

the value of the constant

canMerge

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

createConstCache

@PortedFrom(file="modelCacheConst.h",
            name="createConstCache")
public static ModelCacheConst createConstCache(int bp)

Parameters:

bp - bp

Returns:

const cache by BP; BP should be either bpTOP or bpBOTTOM