Package org.tweetyproject.arg.dung.learning.syntax

Class ClausalAttackConstraint

java.lang.Object

org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint

All Implemented Interfaces:

AttackConstraint<Collection<PlFormula>>

public class ClausalAttackConstraint
extends Object
implements AttackConstraint<Collection<PlFormula>>

This class models a clausal attack constraint

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
ClausalAttackConstraint(ClausalAttackConstraint condition1, ClausalAttackConstraint condition2)	Constructor that merges two clausal attack constraints
ClausalAttackConstraint(Argument arg)	simple constructor
ClausalAttackConstraint(Argument arg, Input input)	Constructor that creates a clausal attack constraint from an argument and input

Method Summary

Modifier and Type	Method	Description
Argument	getArgument()	returns the argument
Collection<PlFormula>	getCondition()	returns condition
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ClausalAttackConstraint

public ClausalAttackConstraint(Argument arg)

simple constructor

Parameters:

arg - Argument

ClausalAttackConstraint

public ClausalAttackConstraint(Argument arg,
 Input input)

Constructor that creates a clausal attack constraint from an argument and input

Parameters:

arg - argument

input - input

ClausalAttackConstraint

public ClausalAttackConstraint(ClausalAttackConstraint condition1,
 ClausalAttackConstraint condition2)

Constructor that merges two clausal attack constraints

Parameters:

condition1 - condition 1

condition2 - condition 2

Method Details

getCondition

public Collection<PlFormula> getCondition()

returns condition

Specified by:

getCondition in interface AttackConstraint<Collection<PlFormula>>

Returns:

The condition of type T associated with this attack constraint.

getArgument

public Argument getArgument()

returns the argument

Specified by:

getArgument in interface AttackConstraint<Collection<PlFormula>>

Returns:

The Argument associated with this constraint, possibly representing a participant in the attack.

toString

public String toString()

Overrides:

toString in class Object