Package org.tweetyproject.web.services.paf

Class PafReasonerPost

java.lang.Object
org.tweetyproject.web.services.paf.PafReasonerPost
public class PafReasonerPost extends Object
Request payload for the probabilistic argumentation framework (PAF) reasoner endpoint.

Arguments are numbered 1..nr_of_arguments. argument_probabilities[i] is the existence probability of argument i+1. attack_probabilities[j] is the existence probability of attacks[j].

  • Constructor Details

    • PafReasonerPost

      public PafReasonerPost()
      Creates an empty request payload.

  • Method Details

    • getCmd

      public String getCmd()
      Returns the command to execute.
      Returns:
      command name

    • setCmd

      public void setCmd(String cmd)
      Sets the command to execute.
      Parameters:
      cmd - command name

    • getEmail

      public String getEmail()
      Returns the user email for the request.
      Returns:
      email address

    • setEmail

      public void setEmail(String email)
      Sets the user email for the request.
      Parameters:
      email - email address

    • getNr_of_arguments

      public int getNr_of_arguments()
      Returns the total number of arguments.
      Returns:
      number of arguments

    • setNr_of_arguments

      public void setNr_of_arguments(int nr_of_arguments)
      Sets the total number of arguments.
      Parameters:
      nr_of_arguments - number of arguments

    • getArgument_probabilities

      public List<Double> getArgument_probabilities()
      Returns the argument existence probabilities.
      Returns:
      argument probabilities

    • setArgument_probabilities

      public void setArgument_probabilities(List<Double> argument_probabilities)
      Sets the argument existence probabilities.
      Parameters:
      argument_probabilities - argument probabilities

    • getAttacks

      public List<List<Integer>> getAttacks()
      Returns the attack relations.
      Returns:
      attack relation list

    • setAttacks

      public void setAttacks(List<List<Integer>> attacks)
      Sets the attack relations.
      Parameters:
      attacks - attack relation list

    • getAttack_probabilities

      public List<Double> getAttack_probabilities()
      Returns the attack existence probabilities.
      Returns:
      attack probabilities

    • setAttack_probabilities

      public void setAttack_probabilities(List<Double> attack_probabilities)
      Sets the attack existence probabilities.
      Parameters:
      attack_probabilities - attack probabilities

    • getSemantics

      public String getSemantics()
      Returns the chosen semantics identifier.
      Returns:
      semantics identifier

    • setSemantics

      public void setSemantics(String semantics)
      Sets the chosen semantics identifier.
      Parameters:
      semantics - semantics identifier

    • getSolver

      public String getSolver()
      Returns the solver name.
      Returns:
      solver name

    • setSolver

      public void setSolver(String solver)
      Sets the solver name.
      Parameters:
      solver - solver name

    • getNr_of_trials

      public int getNr_of_trials()
      Returns the number of Monte Carlo trials.
      Returns:
      number of trials

    • setNr_of_trials

      public void setNr_of_trials(int nr_of_trials)
      Sets the number of Monte Carlo trials.
      Parameters:
      nr_of_trials - number of trials

    • getArgument

      public int getArgument()
      Returns the queried argument index.
      Returns:
      argument index

    • setArgument

      public void setArgument(int argument)
      Sets the queried argument index.
      Parameters:
      argument - argument index

    • getTimeout

      public int getTimeout()
      Returns the request timeout value.
      Returns:
      timeout value

    • setTimeout

      public void setTimeout(int timeout)
      Sets the request timeout value.
      Parameters:
      timeout - timeout value

    • getUnit_timeout

      public String getUnit_timeout()
      Returns the timeout unit.
      Returns:
      timeout unit

    • setUnit_timeout

      public void setUnit_timeout(String unit_timeout)
      Sets the timeout unit.
      Parameters:
      unit_timeout - timeout unit