uk.ac.manchester.cs.jfact.helpers

Class DLVertex

java.lang.Object

uk.ac.manchester.cs.jfact.helpers.DLVertex

All Implemented Interfaces:

Serializable

@PortedFrom(file="dlVertex.h",
            name="DLVertex")
public class DLVertex
extends Object

DL Vertex

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DLVertex(DagTag op, DLDag heap) c'tor for Top/CN/And (before adding any operands)
DLVertex(DagTag op, int m, Role r, int c, Role projR, DLDag heap) c'tor for max n R_C; and for \A R{n}_C; Note order C, n, R.pointer

Method Summary

Modifier and Type	Method and Description
boolean	addChild(int p)
int[]	begin()
void	clearDFS() clear DFS flags
boolean	equals(Object obj)
int	getAndToDagValue()
ModelCacheInterface	getCache(boolean pos)
NamedEntry	getConcept()
int	getConceptIndex()
int	getDepth(boolean pos) general access to a stat value by index
int	getNumberGE()
int	getNumberLE()
Role	getProjRole()
Role	getRole()
MergableLabel	getSort() get RW access to the label
int	getStat(int i) general access to a stat value by index
int	getState()
DagTag	getType()
long	getUsage(boolean pos) get access to a usage wrt POS
int	hashCode()
void	incFreqValue(boolean pos) increment frequency value
boolean	isInCycle(boolean pos) check whether concept is in cycle
boolean	isProcessed(boolean pos) check whether current Vertex is processed
boolean	isVisited(boolean pos) check whether current Vertex is being visited
void	merge(MergableLabel label) merge local label to label LABEL
void	setCache(boolean pos, ModelCacheInterface p) set cache wrt positive flag; note that cache is set up only once
void	setChild(int p) set a concept (child) to Name-like vertex
void	setConcept(NamedEntry p) set TConcept value to entry
void	setInCycle(boolean pos) set concept is in cycle
void	setProcessed(boolean pos) set that the node' DFS processing is completed
void	setVisited(boolean pos) set that the node is being visited
void	sortEntry(DLDag dag)
String	toString()
String	toString(boolean extendedStats)
void	updateStatValues(DLVertex v, boolean posV, boolean pos) add-up all values at once by a given vertex
void	updateStatValues(int d, int s, int b, int g, boolean pos) add-up all stat values at once by explicit values

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DLVertex

public DLVertex(DagTag op,
                DLDag heap)

c'tor for Top/CN/And (before adding any operands)

Parameters:

op - op

heap - heap

DLVertex

public DLVertex(DagTag op,
                int m,
                @Nullable
                Role r,
                int c,
                @Nullable
                Role projR,
                DLDag heap)

c'tor for max n R_C; and for \A R{n}_C; Note order C, n, R.pointer

Parameters:

op - op

m - m

r - R

c - c

projR - ProjR

heap - heap

Method Detail

getSort

@PortedFrom(file="dlVertex.h",
            name="getSort")
public MergableLabel getSort()

get RW access to the label

Returns:

sort label

merge

@PortedFrom(file="dlVertex.h",
            name="merge")
public void merge(MergableLabel label)

merge local label to label LABEL

Parameters:

label - label to merge

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getConceptIndex

@PortedFrom(file="dlVertex.h",
            name="getC")
public int getConceptIndex()

Returns:

C for concepts/quantifiers/NR verteces

getNumberLE

@PortedFrom(file="dlVertex.h",
            name="getNumberLE")
public int getNumberLE()

Returns:

N for the (max n R) vertex

getNumberGE

@PortedFrom(file="dlVertex.h",
            name="getNumberGE")
public int getNumberGE()

Returns:

N for the (min n R) vertex

getState

@PortedFrom(file="dlVertex.h",
            name="getState")
public int getState()

Returns:

STATE for the (\all R{state}.C) vertex

begin

@PortedFrom(file="dlVertex.h",
            name="begin")
public int[] begin()

Returns:

pointer to the first concept name of the entry

getRole

@PortedFrom(file="dlVertex.h",
            name="getRole")
public Role getRole()

Returns:

pointer to Role for the Role-like verteces

getProjRole

@PortedFrom(file="dlVertex.h",
            name="getProjRole")
public Role getProjRole()

Returns:

pointer to Projection Role for the Projection verteces

getConcept

@Nullable
 @PortedFrom(file="dlVertex.h",
            name="getConcept")
public NamedEntry getConcept()

Returns:

TConcept for concept-like fields

setConcept

@PortedFrom(file="dlVertex.h",
            name="setConcept")
public void setConcept(NamedEntry p)

set TConcept value to entry

Parameters:

p - p

setChild

@PortedFrom(file="dlVertex.h",
            name="setChild")
public void setChild(int p)

set a concept (child) to Name-like vertex

Parameters:

p - p

addChild

@PortedFrom(file="dlVertex.h",
            name="addChild")
public boolean addChild(int p)

Parameters:

p - p

Returns:

true if dtBad

getAndToDagValue

@Original
public int getAndToDagValue()

Returns:

andToDag

sortEntry

@PortedFrom(file="dlVertex.h",
            name="sortEntry")
public void sortEntry(DLDag dag)

Parameters:

dag - dag

toString

public String toString(boolean extendedStats)

Parameters:

extendedStats - true if extended stats should be printed

Returns:

toString value

toString

@Nonnull
public String toString()

Overrides:

toString in class Object

updateStatValues

@PortedFrom(file="dlVertex.h",
            name="updateStatValues")
public void updateStatValues(int d,
                                                                                                 int s,
                                                                                                 int b,
                                                                                                 int g,
                                                                                                 boolean pos)

add-up all stat values at once by explicit values

Parameters:

d - d

s - s

b - b

g - g

pos - pos

updateStatValues

@PortedFrom(file="dlVertex.h",
            name="updateStatValues")
public void updateStatValues(DLVertex v,
                                                                                                 boolean posV,
                                                                                                 boolean pos)

add-up all values at once by a given vertex

Parameters:

v - v

posV - posV

pos - pos

incFreqValue

@PortedFrom(file="dlVertex.h",
            name="incFreqValue")
public void incFreqValue(boolean pos)

increment frequency value

Parameters:

pos - pos

getStat

@PortedFrom(file="dlVertex.h",
            name="getStat")
public int getStat(int i)

general access to a stat value by index

Parameters:

i - i

Returns:

stat at position i

getDepth

@PortedFrom(file="dlVertex.h",
            name="getDepth")
public int getDepth(boolean pos)

general access to a stat value by index

Parameters:

pos - pos

Returns:

depth of queue pos

getUsage

@PortedFrom(file="dlVertex.h",
            name="getUsage")
public long getUsage(boolean pos)

get access to a usage wrt POS

Parameters:

pos - pos

Returns:

usage

getType

@PortedFrom(file="dlVertex.h",
            name="Type")
public DagTag getType()

Returns:

tag of the CE

isVisited

@PortedFrom(file="dlVertex.h",
            name="isVisited")
public boolean isVisited(boolean pos)

check whether current Vertex is being visited

Parameters:

pos - pos

Returns:

true if being visited

isProcessed

@PortedFrom(file="dlVertex.h",
            name="isProcessed")
public boolean isProcessed(boolean pos)

check whether current Vertex is processed

Parameters:

pos - pos

Returns:

true if processed

setVisited

@PortedFrom(file="dlVertex.h",
            name="setVisited")
public void setVisited(boolean pos)

set that the node is being visited

Parameters:

pos - pos

setProcessed

@PortedFrom(file="dlVertex.h",
            name="setProcessed")
public void setProcessed(boolean pos)

set that the node' DFS processing is completed

Parameters:

pos - pos

clearDFS

@PortedFrom(file="dlVertex.h",
            name="clearDFS")
public void clearDFS()

clear DFS flags

isInCycle

@PortedFrom(file="dlVertex.h",
            name="isInCycle")
public boolean isInCycle(boolean pos)

check whether concept is in cycle

Parameters:

pos - pos

Returns:

true if concept is in cycle

setInCycle

@PortedFrom(file="dlVertex.h",
            name="setInCycle")
public void setInCycle(boolean pos)

set concept is in cycle

Parameters:

pos - pos

getCache

@Nullable
 @PortedFrom(file="dlVertex.h",
            name="getCache")
public ModelCacheInterface getCache(boolean pos)

Parameters:

pos - pos

Returns:

cache wrt positive flag

setCache

@PortedFrom(file="dlVertex.h",
            name="setCache")
public void setCache(boolean pos,
                                                                                 ModelCacheInterface p)

set cache wrt positive flag; note that cache is set up only once

Parameters:

pos - pos

p - p