org.mindswap.pellet.tbox.impl

Class Unfolding

java.lang.Object

org.mindswap.pellet.tbox.impl.Unfolding

public abstract class Unfolding
extends Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor and Description
Unfolding()

Method Summary

Modifier and Type	Method and Description
static Unfolding	create(aterm.ATermAppl result, aterm.ATermAppl condition, Set<aterm.ATermAppl> explanation)
static Unfolding	create(aterm.ATermAppl result, Set<aterm.ATermAppl> explanation)
abstract aterm.ATermAppl	getCondition()
abstract Set<aterm.ATermAppl>	getExplanation()
abstract aterm.ATermAppl	getResult()

Methods inherited from class java.lang.Object

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

Constructor Detail

Unfolding

public Unfolding()

Method Detail

getCondition

public abstract aterm.ATermAppl getCondition()

getExplanation

public abstract Set<aterm.ATermAppl> getExplanation()

getResult

public abstract aterm.ATermAppl getResult()

create

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

create

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