org.mindswap.pellet.tableau.completion.incremental

Class DependencyEntry

java.lang.Object

org.mindswap.pellet.tableau.completion.incremental.DependencyEntry

public class DependencyEntry
extends Object

Structure for containing all dependencies for a given assertion. This is the object stored in the dependency index

Author:

Christian Halaschek-Wiener

Constructor Summary

Constructors

Constructor and Description
DependencyEntry() Default constructor

Method Summary

Modifier and Type	Method and Description
protected BranchDependency	addBranchAddDependency(aterm.ATermAppl assertion, int branchId, Branch branch) Add a branch add dependency
protected BranchDependency	addCloseBranchDependency(aterm.ATermAppl assertion, Branch theBranch) Add a branch remove ds dependency
protected void	addEdgeDependency(Edge edge) Add a edge dependency
protected void	addMergeDependency(aterm.ATermAppl ind, aterm.ATermAppl mergedTo) Add a edge dependency
protected void	addTypeDependency(aterm.ATermAppl ind, aterm.ATermAppl type) Add a type dependency
DependencyEntry	copy()
Set<BranchAddDependency>	getBranchAdds() Get branches
ClashDependency	getClash() Get clash dependency
Set<CloseBranchDependency>	getCloseBranches() Get the close branches for this entry
Set<Edge>	getEdges() Get edges
Set<MergeDependency>	getMerges() Get merges
Set<TypeDependency>	getTypes() Get types
void	print() Helper method to print all dependencies TODO: this print is not complete
protected void	setClash(ClashDependency clash) Set clash dependency

Methods inherited from class java.lang.Object

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

Constructor Detail

DependencyEntry

public DependencyEntry()

Default constructor

Method Detail

copy

public DependencyEntry copy()

Returns:

addTypeDependency

protected void addTypeDependency(aterm.ATermAppl ind,
                                 aterm.ATermAppl type)

Add a type dependency

Parameters:

ind -

type -

addEdgeDependency

protected void addEdgeDependency(Edge edge)

Add a edge dependency

Parameters:

edge -

addMergeDependency

protected void addMergeDependency(aterm.ATermAppl ind,
                                  aterm.ATermAppl mergedTo)

Add a edge dependency

Parameters:

ind -

mergedTo -

addBranchAddDependency

protected BranchDependency addBranchAddDependency(aterm.ATermAppl assertion,
                                                  int branchId,
                                                  Branch branch)

Add a branch add dependency

Parameters:

branchId -

branch -

addCloseBranchDependency

protected BranchDependency addCloseBranchDependency(aterm.ATermAppl assertion,
                                                    Branch theBranch)

Add a branch remove ds dependency

Parameters:

branchId -

branch -

print

public void print()

Helper method to print all dependencies TODO: this print is not complete

getEdges

public Set<Edge> getEdges()

Get edges

Returns:

getMerges

public Set<MergeDependency> getMerges()

Get merges

Returns:

getTypes

public Set<TypeDependency> getTypes()

Get types

Returns:

getBranchAdds

public Set<BranchAddDependency> getBranchAdds()

Get branches

Returns:

getCloseBranches

public Set<CloseBranchDependency> getCloseBranches()

Get the close branches for this entry

Returns:

getClash

public ClashDependency getClash()

Get clash dependency

Returns:

setClash

protected void setClash(ClashDependency clash)

Set clash dependency

Parameters:

clash -