Magentix2
2.1.1
|
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< Premise > | getDistinguishingPremises () |
void | addDistinguishingPremise (Premise newDistinguishingPremise) |
void | removeDistinguishingPremise (Premise oldDistinguishingPremise) |
void | setDistinguishingPremises (ArrayList< Premise > newDistinguishingPremises) |
ArrayList< Premise > | getExceptions () |
void | addException (Premise newException) |
void | removeException (Premise oldException) |
void | setExceptions (ArrayList< Premise > newExceptions) |
ArrayList< Premise > | getPresumptions () |
void | addPresumption (Premise newPresumption) |
void | removePresumption (Premise oldPresumption) |
void | setPresumptions (ArrayList< Premise > newPresumptions) |
Implementation of the concept ArgumentSolution
Definition at line 10 of file ArgumentSolution.java.
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>(); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.addCounterExampleArgCaseID | ( | Long | newCounterExampleArgCaseID | ) |
Definition at line 91 of file ArgumentSolution.java.
{ counterExamplesArgCaseIDList.add(newCounterExampleArgCaseID); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.addCounterExampleDomCaseID | ( | Long | newCounterExampleDomCaseID | ) |
Definition at line 112 of file ArgumentSolution.java.
{ counterExamplesDomCaseIDList.add(newCounterExampleDomCaseID); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.addDistinguishingPremise | ( | Premise | newDistinguishingPremise | ) |
Definition at line 134 of file ArgumentSolution.java.
{ distPremises.add(newDistinguishingPremise); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.addException | ( | Premise | newException | ) |
Definition at line 156 of file ArgumentSolution.java.
{ exceptions.add(newException); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.addPresumption | ( | Premise | newPresumption | ) |
Definition at line 177 of file ArgumentSolution.java.
{ presumptions.add(newPresumption); }
AcceptabilityStatus es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.getAcceptabilityState | ( | ) |
Definition at line 52 of file ArgumentSolution.java.
{
return acceptabilityStatus;
}
Definition at line 64 of file ArgumentSolution.java.
{
return argumentType;
}
Definition at line 72 of file ArgumentSolution.java.
{
return argumentType.toString();
}
ArrayList<Long> es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.getCounterExamplesArgCaseIDList | ( | ) |
Definition at line 86 of file ArgumentSolution.java.
{
return counterExamplesArgCaseIDList;
}
ArrayList<Long> es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.getCounterExamplesDomCaseIDList | ( | ) |
Definition at line 107 of file ArgumentSolution.java.
{
return counterExamplesDomCaseIDList;
}
ArrayList<Premise> es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.getDistinguishingPremises | ( | ) |
Definition at line 129 of file ArgumentSolution.java.
{
return distPremises;
}
ArrayList<Premise> es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.getExceptions | ( | ) |
Definition at line 151 of file ArgumentSolution.java.
{
return exceptions;
}
ArrayList<Premise> es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.getPresumptions | ( | ) |
Definition at line 172 of file ArgumentSolution.java.
{
return presumptions;
}
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.removeCounterExampleArgCaseID | ( | Long | oldCounterExampleArgCaseID | ) |
Definition at line 96 of file ArgumentSolution.java.
{ counterExamplesArgCaseIDList.remove(oldCounterExampleArgCaseID); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.removeCounterExampleDomCaseID | ( | Long | oldCounterExampleDomCaseID | ) |
Definition at line 117 of file ArgumentSolution.java.
{ counterExamplesDomCaseIDList.remove(oldCounterExampleDomCaseID); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.removeDistinguishingPremise | ( | Premise | oldDistinguishingPremise | ) |
Definition at line 139 of file ArgumentSolution.java.
{ distPremises.remove(oldDistinguishingPremise); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.removeException | ( | Premise | oldException | ) |
Definition at line 161 of file ArgumentSolution.java.
{ exceptions.remove(oldException); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.removePresumption | ( | Premise | oldPresumption | ) |
Definition at line 182 of file ArgumentSolution.java.
{ presumptions.remove(oldPresumption); }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setAcceptabilityState | ( | AcceptabilityStatus | newAcceptabilityState | ) |
Definition at line 57 of file ArgumentSolution.java.
{ acceptabilityStatus = newAcceptabilityState; }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setArgumentType | ( | ArgumentType | newArgumentType | ) |
Definition at line 68 of file ArgumentSolution.java.
{ argumentType = newArgumentType; }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setArgumentTypeString | ( | String | newArgumentType | ) |
Definition at line 76 of file ArgumentSolution.java.
{ try { argumentType = ArgumentType.valueOf(newArgumentType); } catch (Exception e) { e.printStackTrace(); } }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setCounterExamplesArgCaseIDList | ( | ArrayList< Long > | newCounterExamplesArgCaseIDList | ) |
Definition at line 101 of file ArgumentSolution.java.
{ counterExamplesArgCaseIDList = newCounterExamplesArgCaseIDList; }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setCounterExamplesDomCaseIDList | ( | ArrayList< Long > | newCounterExamplesDomCaseIDList | ) |
Definition at line 122 of file ArgumentSolution.java.
{ counterExamplesDomCaseIDList = newCounterExamplesDomCaseIDList; }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setDistinguishingPremises | ( | ArrayList< Premise > | newDistinguishingPremises | ) |
Definition at line 144 of file ArgumentSolution.java.
{ distPremises = newDistinguishingPremises; }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setExceptions | ( | ArrayList< Premise > | newExceptions | ) |
Definition at line 166 of file ArgumentSolution.java.
{ exceptions = newExceptions; }
void es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution.setPresumptions | ( | ArrayList< Premise > | newPresumptions | ) |
Definition at line 187 of file ArgumentSolution.java.
{ presumptions = newPresumptions; }