net.sf.tweety.arg.dung.ldo.semantics

Class LdoInterpretation

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<DungTheory,LdoFormula>

net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation

All Implemented Interfaces:

net.sf.tweety.commons.Interpretation<DungTheory,LdoFormula>

public class LdoInterpretation
extends net.sf.tweety.commons.AbstractInterpretation<DungTheory,LdoFormula>

This class models an LDO interpretation, i.e., a pair of an argumentation framework and (possibly) an extension.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
LdoInterpretation(DungTheory theory, Extension ext, Semantics semantics) Creates a new interpretation
LdoInterpretation(DungTheory theory, Semantics semantics) Creates a new interpretation

Method Summary

Modifier and Type	Method and Description
boolean	satisfies(DungTheory beliefBase)
boolean	satisfies(LdoFormula formula)

Methods inherited from class net.sf.tweety.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

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

Constructor Detail

LdoInterpretation

public LdoInterpretation(DungTheory theory,
                         Extension ext,
                         Semantics semantics)

Creates a new interpretation

Parameters:

theory - an abstract argumentation framework

ext - an extension (possibly null)

semantics - the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)

LdoInterpretation

public LdoInterpretation(DungTheory theory,
                         Semantics semantics)

Creates a new interpretation

Parameters:

theory - an abstract argumentation framework

semantics - the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)

Method Detail

satisfies

public boolean satisfies(LdoFormula formula)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(DungTheory beliefBase)
                  throws IllegalArgumentException

Throws:

IllegalArgumentException