org.mindswap.pellet.tbox.impl
Class Unfolding
java.lang.Object
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
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 |
Unfolding
public Unfolding()
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.