uk.ac.manchester.cs.jfact.kernel

Class TDag2Interface

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.TDag2Interface

All Implemented Interfaces:

Serializable

@PortedFrom(file="tDag2Interface.h",
            name="TDag2Interface")
public class TDag2Interface
extends Object
implements Serializable

class to translate DAG entities into the TDL* expressions

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TDag2Interface(DLDag dag, ExpressionCache manager) init c'tor

Method Summary

Modifier and Type	Method and Description
ConceptExpression	buildCExpr(DLVertex v)
DataExpression	buildDExpr(DLVertex v)
void	ensureDagSize() make sure that size of expression cache is the same as the size of a DAG
ConceptExpression	getCExpr(int p)
RoleExpression	getDataRoleExpression(Role r)
DataExpression	getDExpr(int p)
Expression	getExpr(int p, boolean data)
RoleExpression	getObjectRoleExpression(Role r)

Methods inherited from class java.lang.Object

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

Constructor Detail

TDag2Interface

public TDag2Interface(DLDag dag,
                      ExpressionCache manager)

init c'tor

Parameters:

dag - dag

manager - manager

Method Detail

buildCExpr

@PortedFrom(file="tDag2Interface.h",
            name="buildCExpr")
public ConceptExpression buildCExpr(DLVertex v)

Parameters:

v - v

Returns:

build concept expression by a vertex V

buildDExpr

@PortedFrom(file="tDag2Interface.h",
            name="buildDExpr")
public DataExpression buildDExpr(DLVertex v)

Parameters:

v - v

Returns:

build data expression by a vertex V

getDataRoleExpression

@Original
public RoleExpression getDataRoleExpression(Role r)

Parameters:

r - r

Returns:

data role expression

getObjectRoleExpression

@Original
public RoleExpression getObjectRoleExpression(Role r)

Parameters:

r - r

Returns:

object role expression

ensureDagSize

@PortedFrom(file="tDag2Interface.h",
            name="ensureDagSize")
public void ensureDagSize()

make sure that size of expression cache is the same as the size of a DAG

getCExpr

@PortedFrom(file="tDag2Interface.h",
            name="getCExpr")
public ConceptExpression getCExpr(int p)

Parameters:

p - p

Returns:

concept expression corresponding index of vertex

getDExpr

@PortedFrom(file="tDag2Interface.h",
            name="getDExpr")
public DataExpression getDExpr(int p)

Parameters:

p - p

Returns:

data expression corresponding index of vertex

getExpr

@PortedFrom(file="tDag2Interface.h",
            name="getExpr")
public Expression getExpr(int p,
                                                                                           boolean data)

Parameters:

p - p

data - data

Returns:

expression