uk.ac.manchester.cs.jfact.kernel

Class DlCompletionTreeArc

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc

@PortedFrom(file="dlCompletionTreeArc.h",
            name="DlCompletionTreeArc")
public class DlCompletionTreeArc
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected DepSet	depSet dep-set of the arc
protected DlCompletionTreeArc	reverse pointer to reverse arc
protected Role	role role, labelling given arc

Constructor Summary

Constructors

Constructor and Description
DlCompletionTreeArc(Role r, DepSet dep, DlCompletionTree n)

Method Summary

Methods

Modifier and Type	Method and Description
Restorer	addDep(DepSet dep) add dep-set to an edge; return restorer
DlCompletionTree	getArcEnd() get (RW) access to the end of arc
DepSet	getDep() get dep-set of the edge
DlCompletionTreeArc	getReverse() get access to reverse arc
Role	getRole() get label of the edge
boolean	isIBlocked() is arc merged to another
boolean	isNeighbour(Role pRole) check if arc is labelled by a super-role of PROLE
boolean	isNeighbour(Role pRole, DepSet dep) same as above; fills DEP with current DEPSET if so
boolean	isPredEdge()
boolean	isReflexiveEdge() check whether the edge is reflexive
boolean	isSuccEdge()
void	print(LogAdapter o) print current arc
Restorer	save() save and invalidate arc (together with reverse arc)
void	setReverse(DlCompletionTreeArc v) set given arc as a reverse of current
void	setSuccEdge(boolean val) set the successor field

Methods inherited from class java.lang.Object

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

Field Detail

role

protected Role role

role, labelling given arc

depSet

protected DepSet depSet

dep-set of the arc

reverse

protected DlCompletionTreeArc reverse

pointer to reverse arc

Constructor Detail

DlCompletionTreeArc

public DlCompletionTreeArc(Role r,
                   DepSet dep,
                   DlCompletionTree n)

Method Detail

setReverse

public void setReverse(DlCompletionTreeArc v)

set given arc as a reverse of current

getRole

public Role getRole()

get label of the edge

getDep

public DepSet getDep()

get dep-set of the edge

setSuccEdge

public void setSuccEdge(boolean val)

set the successor field

isSuccEdge

public boolean isSuccEdge()

Returns:

true if the edge is the successor one

isPredEdge

public boolean isPredEdge()

Returns:

true if the edge is the predecessor one

getArcEnd

public DlCompletionTree getArcEnd()

get (RW) access to the end of arc

getReverse

public DlCompletionTreeArc getReverse()

get access to reverse arc

isNeighbour

public boolean isNeighbour(Role pRole)

check if arc is labelled by a super-role of PROLE

isNeighbour

public boolean isNeighbour(Role pRole,
                  DepSet dep)

same as above; fills DEP with current DEPSET if so

isIBlocked

public boolean isIBlocked()

is arc merged to another

isReflexiveEdge

public boolean isReflexiveEdge()

check whether the edge is reflexive

save

public Restorer save()

save and invalidate arc (together with reverse arc)

addDep

public Restorer addDep(DepSet dep)

add dep-set to an edge; return restorer

print

public void print(LogAdapter o)

print current arc