uk.ac.manchester.cs.jfact.kernel

Class DlCompletionTreeArc

java.lang.Object

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

All Implemented Interfaces:

Serializable

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

completion tree arc

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Restorer	addDep(DepSet dep) add dep-set to an edge; return restorer
DlCompletionTree	getArcEnd()
DepSet	getDep()
DlCompletionTreeArc	getReverse()
Role	getRole()
boolean	isIBlocked()
boolean	isNeighbour(Role pRole)
boolean	isPredEdge()
boolean	isReflexiveEdge()
boolean	isSuccEdge()
DepSet	neighbourDepSet(Role pRole)
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
boolean	unblockable()

Methods inherited from class java.lang.Object

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

Constructor Detail

DlCompletionTreeArc

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

Parameters:

r - r

dep - dep

n - n

Method Detail

setReverse

public void setReverse(DlCompletionTreeArc v)

set given arc as a reverse of current

Parameters:

v - v

getRole

@Nullable
public Role getRole()

Returns:

label of the edge

getDep

public DepSet getDep()

Returns:

dep-set of the edge

setSuccEdge

public void setSuccEdge(boolean val)

set the successor field

Parameters:

val - val

isSuccEdge

public boolean isSuccEdge()

Returns:

true if the edge is the successor one

unblockable

public boolean unblockable()

Returns:

true if isSuccEdge and not isBlocked and not isReflexiveEdge

isPredEdge

public boolean isPredEdge()

Returns:

true if the edge is the predecessor one

getArcEnd

public DlCompletionTree getArcEnd()

Returns:

end of arc

getReverse

public DlCompletionTreeArc getReverse()

Returns:

reverse arc

isNeighbour

public boolean isNeighbour(Role pRole)

Parameters:

pRole - pRole

Returns:

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

neighbourDepSet

@Nullable
public DepSet neighbourDepSet(Role pRole)

Parameters:

pRole - pRole

Returns:

same as above; fills DEP with current DEPSET if so

isIBlocked

public boolean isIBlocked()

Returns:

is arc merged to another

isReflexiveEdge

public boolean isReflexiveEdge()

Returns:

check whether the edge is reflexive

save

@Nullable
public Restorer save()

save and invalidate arc (together with reverse arc)

Returns:

restorer

addDep

@Nullable
public Restorer addDep(DepSet dep)

add dep-set to an edge; return restorer

Parameters:

dep - dep

Returns:

restorer

print

public void print(LogAdapter o)

print current arc

Parameters:

o - o