Class ClaimArgument

java.lang.Object
org.tweetyproject.arg.dung.syntax.Argument
org.tweetyproject.arg.dung.syntax.ClaimArgument
All Implemented Interfaces:
Comparable<Argument>, DungEntity, Formula, Node

public class ClaimArgument extends Argument
an argument with a claim
Author:
Sebastian Franke
  • Constructor Details

    • ClaimArgument

      public ClaimArgument(String name, Claim claim)
      Parameters:
      name - name of argument
      claim - the claim
  • Method Details

    • getClaim

      public Claim getClaim()
      Returns:
      the claim
    • setClaim

      public void setClaim(Claim c)
      Parameters:
      c - the claim
    • toString

      public String toString()
      reurn string representation
      Overrides:
      toString in class Argument