uk.ac.manchester.cs.jfact.split

Class TSplitRules

java.lang.Object

uk.ac.manchester.cs.jfact.split.TSplitRules

@PortedFrom(file="tSplitExpansionRules.h",
            name="TSplitRules")
public class TSplitRules
extends Object

all split rules: vector of rules with init and access methods

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	TSplitRules.TSplitRule class to check whether there is a need to unsplit splitted var

Constructor Summary

Constructors

Constructor and Description
TSplitRules(JFactReasonerConfiguration options)

Method Summary

Methods

Modifier and Type	Method and Description
void	createSplitRules(TSplitVars Splits) create all the split rules by given split set SPLITS
void	ensureDagSize(int dagSize) ensure that Map has the same size as DAG, so there would be no access violation
NamedEntity	getEntity(int bp)
List<TSplitRules.TSplitRule>	getRules()
void	initEntityMap(DLDag Dag) init entity map using given DAG.

Methods inherited from class java.lang.Object

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

Constructor Detail

TSplitRules

public TSplitRules(JFactReasonerConfiguration options)

Method Detail

getRules

@PortedFrom(file="tSplitExpansionRules.h",
            name="begin")
public List<TSplitRules.TSplitRule> getRules()

createSplitRules

@PortedFrom(file="tSplitExpansionRules.h",
            name="createSplitRules")
public void createSplitRules(TSplitVars Splits)

create all the split rules by given split set SPLITS

ensureDagSize

@PortedFrom(file="tSplitExpansionRules.h",
            name="ensureDagSize")
public void ensureDagSize(int dagSize)

ensure that Map has the same size as DAG, so there would be no access violation

getEntity

@PortedFrom(file="tSplitExpansionRules.h",
            name="getEntity")
public NamedEntity getEntity(int bp)

Returns:

named entity corresponding to a given bp

initEntityMap

@PortedFrom(file="tSplitExpansionRules.h",
            name="initEntityMap")
public void initEntityMap(DLDag Dag)

init entity map using given DAG. note that this should be done AFTER rule splits are created!