uk.ac.manchester.cs.jfact.kernel

Class ExpressionManager.InverseRoleCache

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ExpressionManager.InverseRoleCache

Enclosing class:

ExpressionManager

protected class ExpressionManager.InverseRoleCache
extends Object

Cache for the inverse roles

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExpressionManager.InverseRoleCache()

Method Summary

Methods

Modifier and Type	Method and Description
ObjectRoleExpression	build(ObjectRoleExpression tail)
void	clear() clear the cache
ObjectRoleExpression	get(ObjectRoleExpression tail) get an object corresponding to Head.Tail

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionManager.InverseRoleCache

protected ExpressionManager.InverseRoleCache()

Method Detail

get

public ObjectRoleExpression get(ObjectRoleExpression tail)

get an object corresponding to Head.Tail

clear

public void clear()

clear the cache

build

public ObjectRoleExpression build(ObjectRoleExpression tail)