Package openllet.core.boxes.tbox.impl

Class Unfolding

  • public abstract class Unfolding
extends java.lang.Object

    Title:

    Description:

    Copyright: Copyright (c) 2009

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Constructor Summary

      Constructors 
      Constructor Description
      Unfolding()  

    • Method Summary

      All Methods Static Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      static Unfolding create​(openllet.aterm.ATermAppl result, java.util.Set<openllet.aterm.ATermAppl> explanation)  
      static Unfolding create​(openllet.aterm.ATermAppl result, openllet.aterm.ATermAppl condition, java.util.Set<openllet.aterm.ATermAppl> explanation)  
      abstract openllet.aterm.ATermAppl getCondition()  
      abstract java.util.Set<openllet.aterm.ATermAppl> getExplanation()  
      abstract openllet.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 openllet.aterm.ATermAppl getCondition()

      • getExplanation

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

      • getResult

        public abstract openllet.aterm.ATermAppl getResult()

      • create

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

      • create

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