Package org.tweetyproject.web.spring_services.dung

Class DungReasonerPost

java.lang.Object
org.tweetyproject.web.spring_services.dung.DungReasonerPost
public class DungReasonerPost extends Object
*description missing*

  • Constructor Details

    • DungReasonerPost

      public DungReasonerPost()

  • Method Details

    • getUnit_timeout

      public String getUnit_timeout()
      *description missing*
      Returns:
      *description missing*

    • setUnit_timeout

      public void setUnit_timeout(String unit_timeout)
      *description missing*
      Parameters:
      unit_timeout - *description missing*

    • getCmd

      public String getCmd()
      *description missing*
      Returns:
      *description missing*

    • setCmd

      public void setCmd(String cmd)
      *description missing*
      Parameters:
      cmd - *description missing*

    • getEmail

      public String getEmail()
      *description missing*
      Returns:
      *description missing*

    • setEmail

      public void setEmail(String email)
      *description missing*
      Parameters:
      email - *description missing*

    • getNr_of_arguments

      public int getNr_of_arguments()
      *description missing*
      Returns:
      *description missing*

    • setNr_of_arguments

      public void setNr_of_arguments(int nr_of_arguments)
      *description missing*
      Parameters:
      nr_of_arguments - *description missing*

    • getAttacks

      public List<List<Integer>> getAttacks()
      *description missing*
      Returns:
      *description missing*

    • setAttacks

      public void setAttacks(List<List<Integer>> attacks)
      *description missing*
      Parameters:
      attacks - *description missing*

    • getSemantics

      public String getSemantics()
      *description missing*
      Returns:
      *description missing*

    • setSemantics

      public void setSemantics(String semantics)
      *description missing*
      Parameters:
      semantics - *description missing*

    • getSolver

      public String getSolver()
      *description missing*
      Returns:
      *description missing*

    • setSolver

      public void setSolver(String solver)
      *description missing*
      Parameters:
      solver - *description missing*

    • getTimeout

      public int getTimeout()
      *description missing*
      Returns:
      *description missing*

    • setTimeout

      public void setTimeout(int timeout)
      *description missing*
      Parameters:
      timeout - *description missing*