Package org.tweetyproject.logics.rdl.semantics

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