org.mindswap.pellet.tbox.impl
Class Unfolding

java.lang.Object
  extended by org.mindswap.pellet.tbox.impl.Unfolding

public abstract class Unfolding
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Constructor Summary
Unfolding()
           
 
Method Summary
static Unfolding create(aterm.ATermAppl result, aterm.ATermAppl condition, java.util.Set<aterm.ATermAppl> explanation)
           
static Unfolding create(aterm.ATermAppl result, java.util.Set<aterm.ATermAppl> explanation)
           
abstract  aterm.ATermAppl getCondition()
           
abstract  java.util.Set<aterm.ATermAppl> getExplanation()
           
abstract  aterm.ATermAppl getResult()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Unfolding

public Unfolding()
Method Detail

getCondition

public abstract aterm.ATermAppl getCondition()

getExplanation

public abstract java.util.Set<aterm.ATermAppl> getExplanation()

getResult

public abstract aterm.ATermAppl getResult()

create

public static Unfolding create(aterm.ATermAppl result,
                               java.util.Set<aterm.ATermAppl> explanation)

create

public static Unfolding create(aterm.ATermAppl result,
                               aterm.ATermAppl condition,
                               java.util.Set<aterm.ATermAppl> explanation)


Copyright © 2004 Evren Sirin. All Rights Reserved.