org.mindswap.pellet.tableau.completion.incremental

Class BranchDependency

java.lang.Object

org.mindswap.pellet.tableau.completion.incremental.BranchDependency

All Implemented Interfaces:

Dependency

Direct Known Subclasses:

BranchAddDependency, CloseBranchDependency

public abstract class BranchDependency
extends Object
implements Dependency

Abstract class for a branch dependency

Author:

Christian Halaschek-Wiener

Field Summary

Fields

Modifier and Type	Field and Description
protected aterm.ATermAppl	assertion The assertion which this branch is indexed on

Constructor Summary

Constructors

Constructor and Description
BranchDependency(aterm.ATermAppl assertion) Constructor

Method Summary

Modifier and Type	Method and Description
aterm.ATermAppl	getAssertion()

Methods inherited from class java.lang.Object

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

Field Detail

assertion

protected aterm.ATermAppl assertion

The assertion which this branch is indexed on

Constructor Detail

BranchDependency

public BranchDependency(aterm.ATermAppl assertion)

Constructor

Parameters:

assertion -

Method Detail

getAssertion

public aterm.ATermAppl getAssertion()

Returns: