TransitionState

java.lang.Object

org.tweetyproject.arg.dung.syntax.TransitionState

public class TransitionState extends Object

A state of the transition system for serialised semantics It consists of an argumentation framework and a set of arguments

Author:: Lars Bengel

Constructor Summary

Constructors

Constructor

Description

TransitionState(DungTheory theory, Extension<DungTheory> extension)
Method Summary

Modifier and Type

Method

Description

Extension<DungTheory>

getExtension()

TransitionState

getNext(Extension<DungTheory> ext)

compute the successor state for the given extension

DungTheory

getTheory()

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- TransitionState
  
  public TransitionState(DungTheory theory, Extension<DungTheory> extension)
  
  Parameters:
  
  theory - a dung theory
  
  extension - an extension
Method Details
- getNext
  
  public TransitionState getNext(Extension<DungTheory> ext)
  
  compute the successor state for the given extension
  
  Parameters:
  
  ext - a set of arguments that has been selected by a selection function
  
  Returns:
  
  the successor state
- getTheory
  
  public DungTheory getTheory()
  
  Returns:
  
  the theory
- getExtension
  
  public Extension<DungTheory> getExtension()
  
  Returns:
  
  the extension