Uses of Class
uk.ac.manchester.cs.jfact.helpers.DLVertex

Packages that use DLVertex

Package	Description
uk.ac.manchester.cs.jfact.helpers
uk.ac.manchester.cs.jfact.kernel
uk.ac.manchester.cs.jfact.kernel.modelcaches

Uses of DLVertex in uk.ac.manchester.cs.jfact.helpers

Methods in uk.ac.manchester.cs.jfact.helpers with parameters of type DLVertex

Modifier and Type	Method and Description
void	DLVertex.updateStatValues(DLVertex v, boolean posV, boolean pos) add-up all values at once by a given vertex
static void	StatIndex.updateStatValues(DLVertex v, boolean posV, boolean pos, int[] stat, boolean debug) add-up all values at once by a given vertex

Uses of DLVertex in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return DLVertex

Modifier and Type	Method and Description
DLVertex	DLDag.get(int i)

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type DLVertex

Modifier and Type	Method and Description
int	DLDag.add(DLVertex v)
int	TBox.and2dag(DLVertex v, DLTree t) fills AND-like vertex V with an AND-like expression T; process result
ConceptExpression	TDag2Interface.buildCExpr(DLVertex v)
DataExpression	TDag2Interface.buildDExpr(DLVertex v)
int	DLDag.directAdd(DLVertex v, boolean knownNew) add vertex to the end of DAG and calculate it's statistic if necessary
int	DLDag.directAddAndCache(DLVertex v) add vertex to the end of DAG and calculate it's statistic if necessary; put it into cache
void	LogicFeatures.fillDAGData(DLVertex v, boolean pos)
void	DLDag.replaceVertex(int i, DLVertex v, NamedEntry c) replace existing vertex at index I with a vertex V

Uses of DLVertex in uk.ac.manchester.cs.jfact.kernel.modelcaches

Methods in uk.ac.manchester.cs.jfact.kernel.modelcaches with parameters of type DLVertex

Modifier and Type	Method and Description
void	ModelCacheIan.processAutomaton(DLVertex cur)
void	ModelCacheIan.processConcept(DLVertex cur, boolean pos, boolean det)