Class DefaultSequence


  • public class DefaultSequence
    extends java.lang.Object
    sequence of defaults
    Author:
    Nils Geilen
    • Constructor Detail

      • DefaultSequence

        public DefaultSequence​(DefaultTheory dt)
        constructs an empty sequence of defaults of the default theory dt
        Parameters:
        dt - a default theory, from which defaults will be added to the sequence
      • DefaultSequence

        public DefaultSequence​(DefaultSequence ds,
                               DefaultRule d)
        constructs a sequence by appending d to ds
        Parameters:
        ds - a default sequence
        d - a default rule
    • Method Detail

      • app

        public DefaultSequence app​(DefaultRule d)
        Constructs a new DefaultSequence
        Parameters:
        d - a default rule
        Returns:
        new Sequence adding d to this
      • isApplicable

        public boolean isApplicable​(DefaultRule d)
        applicable ^= pre in In and (not jus_i) not in In forall i
        Parameters:
        d - a default rule
        Returns:
        true iff d is applicable to In
      • getIn

        public java.util.Collection<FolFormula> getIn()
        Returns:
        the sequence's in set
      • getOut

        public java.util.Collection<FolFormula> getOut()
        Returns:
        the sequence's out set
      • isProcess

        public boolean isProcess()
        process <=> all defaults are unique and applicable in sequence
        Returns:
        true iff is process
      • isSuccessful

        public boolean isSuccessful()
        successfull <=> there is no x: x in In and x in Out
        Returns:
        true iff successfull
      • isClosed

        public boolean isClosed​(DefaultTheory t)
        Tests wether all applicble defaukts from t have been applied
        Parameters:
        t - a default theory
        Returns:
        true iff every possible default is applied
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object