Magentix2  2.1.1
es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution Class Reference
Inheritance diagram for es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution:
Collaboration diagram for es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution:

List of all members.

Classes

enum  ArgumentType

Public Member Functions

 ArgumentSolution (ArgumentType argumentType, AcceptabilityStatus acceptabilityStatus, ArrayList< Premise > distPremises, ArrayList< Premise > presumptions, ArrayList< Premise > exceptions, ArrayList< Long > counterExamplesDomCaseID, ArrayList< Long > counterExamplesArgCaseID)
 ArgumentSolution ()
AcceptabilityStatus getAcceptabilityState ()
void setAcceptabilityState (AcceptabilityStatus newAcceptabilityState)
ArgumentType getArgumentType ()
void setArgumentType (ArgumentType newArgumentType)
String getArgumentTypeString ()
void setArgumentTypeString (String newArgumentType)
ArrayList< Long > getCounterExamplesArgCaseIDList ()
void addCounterExampleArgCaseID (Long newCounterExampleArgCaseID)
void removeCounterExampleArgCaseID (Long oldCounterExampleArgCaseID)
void setCounterExamplesArgCaseIDList (ArrayList< Long > newCounterExamplesArgCaseIDList)
ArrayList< Long > getCounterExamplesDomCaseIDList ()
void addCounterExampleDomCaseID (Long newCounterExampleDomCaseID)
void removeCounterExampleDomCaseID (Long oldCounterExampleDomCaseID)
void setCounterExamplesDomCaseIDList (ArrayList< Long > newCounterExamplesDomCaseIDList)
ArrayList< PremisegetDistinguishingPremises ()
void addDistinguishingPremise (Premise newDistinguishingPremise)
void removeDistinguishingPremise (Premise oldDistinguishingPremise)
void setDistinguishingPremises (ArrayList< Premise > newDistinguishingPremises)
ArrayList< PremisegetExceptions ()
void addException (Premise newException)
void removeException (Premise oldException)
void setExceptions (ArrayList< Premise > newExceptions)
ArrayList< PremisegetPresumptions ()
void addPresumption (Premise newPresumption)
void removePresumption (Premise oldPresumption)
void setPresumptions (ArrayList< Premise > newPresumptions)

Detailed Description

Implementation of the concept ArgumentSolution

Definition at line 10 of file ArgumentSolution.java.


Constructor & Destructor Documentation

es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.ArgumentSolution ( ArgumentType  argumentType,
AcceptabilityStatus  acceptabilityStatus,
ArrayList< Premise distPremises,
ArrayList< Premise presumptions,
ArrayList< Premise exceptions,
ArrayList< Long >  counterExamplesDomCaseID,
ArrayList< Long >  counterExamplesArgCaseID 
)

Definition at line 26 of file ArgumentSolution.java.

                                                                                                    {
        this.argumentType = argumentType;
        this.acceptabilityStatus = acceptabilityStatus;
        this.distPremises = distPremises;
        this.presumptions = presumptions;
        this.exceptions = exceptions;
        this.counterExamplesArgCaseIDList = counterExamplesArgCaseID;
        this.counterExamplesDomCaseIDList = counterExamplesDomCaseID;
    }

Definition at line 39 of file ArgumentSolution.java.

                              {
        argumentType = null;
        acceptabilityStatus = AcceptabilityStatus.UNDECIDED;
        distPremises = new ArrayList<Premise>();
        presumptions = new ArrayList<Premise>();
        exceptions = new ArrayList<Premise>();
        counterExamplesArgCaseIDList = new ArrayList<Long>();
        counterExamplesDomCaseIDList = new ArrayList<Long>();
    }

Member Function Documentation

Definition at line 91 of file ArgumentSolution.java.

                                                                            {
        counterExamplesArgCaseIDList.add(newCounterExampleArgCaseID);
    }

Definition at line 112 of file ArgumentSolution.java.

                                                                            {
        counterExamplesDomCaseIDList.add(newCounterExampleDomCaseID);
    }

Definition at line 134 of file ArgumentSolution.java.

                                                                           {
        distPremises.add(newDistinguishingPremise);
    }

Definition at line 156 of file ArgumentSolution.java.

                                                   {
        exceptions.add(newException);
    }

Definition at line 177 of file ArgumentSolution.java.

                                                       {
        presumptions.add(newPresumption);
    }

Definition at line 72 of file ArgumentSolution.java.

                                         {
        return argumentType.toString();
    }

Definition at line 86 of file ArgumentSolution.java.

                                                             {
        return counterExamplesArgCaseIDList;
    }

Definition at line 107 of file ArgumentSolution.java.

                                                             {
        return counterExamplesDomCaseIDList;
    }

Definition at line 96 of file ArgumentSolution.java.

                                                                               {
        counterExamplesArgCaseIDList.remove(oldCounterExampleArgCaseID);
    }

Definition at line 117 of file ArgumentSolution.java.

                                                                               {
        counterExamplesDomCaseIDList.remove(oldCounterExampleDomCaseID);
    }

Definition at line 139 of file ArgumentSolution.java.

                                                                              {
        distPremises.remove(oldDistinguishingPremise);
    }

Definition at line 161 of file ArgumentSolution.java.

                                                      {
        exceptions.remove(oldException);
    }

Definition at line 182 of file ArgumentSolution.java.

                                                          {
       presumptions.remove(oldPresumption);
    }

Definition at line 57 of file ArgumentSolution.java.

                                                                                 {
        acceptabilityStatus = newAcceptabilityState;
    }

Definition at line 68 of file ArgumentSolution.java.

                                                              {
        argumentType = newArgumentType;
    }

Definition at line 76 of file ArgumentSolution.java.

                                                             {
        try {
                        argumentType = ArgumentType.valueOf(newArgumentType);
                } catch (Exception e) {
                        e.printStackTrace();
                }
    }

Definition at line 101 of file ArgumentSolution.java.

                                                                                                 {
        counterExamplesArgCaseIDList = newCounterExamplesArgCaseIDList;
    }

Definition at line 122 of file ArgumentSolution.java.

                                                                                                 {
        counterExamplesDomCaseIDList = newCounterExamplesDomCaseIDList;
    }

Definition at line 144 of file ArgumentSolution.java.

                                                                                        {
        distPremises = newDistinguishingPremises;
    }

Definition at line 166 of file ArgumentSolution.java.

                                                                {
        exceptions = newExceptions;
    }

Definition at line 187 of file ArgumentSolution.java.

                                                                    {
       presumptions = newPresumptions;
    }

The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables