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

java.lang.Object
  extended by org.mindswap.pellet.tableau.completion.incremental.BranchDependency
All Implemented Interfaces:
Dependency
Direct Known Subclasses:
BranchAddDependency, CloseBranchDependency

public abstract class BranchDependency
extends java.lang.Object
implements Dependency

Abstract class for a branch dependency

Author:
Christian Halaschek-Wiener

Constructor Summary
BranchDependency(aterm.ATermAppl assertion)
          Constructor
 
Method Summary
 aterm.ATermAppl getAssertion()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BranchDependency

public BranchDependency(aterm.ATermAppl assertion)
Constructor

Parameters:
assertion -
Method Detail

getAssertion

public aterm.ATermAppl getAssertion()
Returns:


Copyright © 2004 Evren Sirin. All Rights Reserved.