es.upv.dsic.gti_ia.argAgents.knowledgeResources
Class ArgumentSolution

java.lang.Object
  es.upv.dsic.gti_ia.argAgents.knowledgeResources.CaseComponent
      es.upv.dsic.gti_ia.argAgents.knowledgeResources.Solution
          es.upv.dsic.gti_ia.argAgents.knowledgeResources.ArgumentSolution

All Implemented Interfaces:

Serializable

public class ArgumentSolution
extends Solution

Implementation of the concept ArgumentSolution

See Also:

Serialized Form

Nested Class Summary

static class

ArgumentSolution.ArgumentType

Constructor Summary

ArgumentSolution()

ArgumentSolution(ArgumentSolution.ArgumentType argumentType, AcceptabilityStatus acceptabilityStatus, ArrayList<Premise> distPremises, ArrayList<Premise> presumptions, ArrayList<Premise> exceptions, ArrayList<Long> counterExamplesDomCaseID, ArrayList<Long> counterExamplesArgCaseID)

Method Summary

void	addCounterExampleArgCaseID(Long newCounterExampleArgCaseID)
void	addCounterExampleDomCaseID(Long newCounterExampleDomCaseID)
void	addDistinguishingPremise(Premise newDistinguishingPremise)
void	addException(Premise newException)
void	addPresumption(Premise newPresumption)
AcceptabilityStatus	getAcceptabilityState()
ArgumentSolution.ArgumentType	getArgumentType()
String	getArgumentTypeString()
ArrayList<Long>	getCounterExamplesArgCaseIDList()
ArrayList<Long>	getCounterExamplesDomCaseIDList()
ArrayList<Premise>	getDistinguishingPremises()
ArrayList<Premise>	getExceptions()
ArrayList<Premise>	getPresumptions()
void	removeCounterExampleArgCaseID(Long oldCounterExampleArgCaseID)
void	removeCounterExampleDomCaseID(Long oldCounterExampleDomCaseID)
void	removeDistinguishingPremise(Premise oldDistinguishingPremise)
void	removeException(Premise oldException)
void	removePresumption(Premise oldPresumption)
void	setAcceptabilityState(AcceptabilityStatus newAcceptabilityState)
void	setArgumentType(ArgumentSolution.ArgumentType newArgumentType)
void	setArgumentTypeString(String newArgumentType)
void	setCounterExamplesArgCaseIDList(ArrayList<Long> newCounterExamplesArgCaseIDList)
void	setCounterExamplesDomCaseIDList(ArrayList<Long> newCounterExamplesDomCaseIDList)
void	setDistinguishingPremises(ArrayList<Premise> newDistinguishingPremises)
void	setExceptions(ArrayList<Premise> newExceptions)
void	setPresumptions(ArrayList<Premise> newPresumptions)

Methods inherited from class es.upv.dsic.gti_ia.argAgents.knowledgeResources.Solution

getConclusion, getPromotesValue, getTimesUsed, setConclusion, setPromotesValue, setTimesUsed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ArgumentSolution

public ArgumentSolution(ArgumentSolution.ArgumentType argumentType,
                        AcceptabilityStatus acceptabilityStatus,
                        ArrayList<Premise> distPremises,
                        ArrayList<Premise> presumptions,
                        ArrayList<Premise> exceptions,
                        ArrayList<Long> counterExamplesDomCaseID,
                        ArrayList<Long> counterExamplesArgCaseID)

ArgumentSolution

public ArgumentSolution()

Method Detail

getAcceptabilityState

public AcceptabilityStatus getAcceptabilityState()

setAcceptabilityState

public void setAcceptabilityState(AcceptabilityStatus newAcceptabilityState)

getArgumentType

public ArgumentSolution.ArgumentType getArgumentType()

setArgumentType

public void setArgumentType(ArgumentSolution.ArgumentType newArgumentType)

getArgumentTypeString

public String getArgumentTypeString()

setArgumentTypeString

public void setArgumentTypeString(String newArgumentType)

getCounterExamplesArgCaseIDList

public ArrayList<Long> getCounterExamplesArgCaseIDList()

addCounterExampleArgCaseID

public void addCounterExampleArgCaseID(Long newCounterExampleArgCaseID)

removeCounterExampleArgCaseID

public void removeCounterExampleArgCaseID(Long oldCounterExampleArgCaseID)

setCounterExamplesArgCaseIDList

public void setCounterExamplesArgCaseIDList(ArrayList<Long> newCounterExamplesArgCaseIDList)

getCounterExamplesDomCaseIDList

public ArrayList<Long> getCounterExamplesDomCaseIDList()

addCounterExampleDomCaseID

public void addCounterExampleDomCaseID(Long newCounterExampleDomCaseID)

removeCounterExampleDomCaseID

public void removeCounterExampleDomCaseID(Long oldCounterExampleDomCaseID)

setCounterExamplesDomCaseIDList

public void setCounterExamplesDomCaseIDList(ArrayList<Long> newCounterExamplesDomCaseIDList)

getDistinguishingPremises

public ArrayList<Premise> getDistinguishingPremises()

addDistinguishingPremise

public void addDistinguishingPremise(Premise newDistinguishingPremise)

removeDistinguishingPremise

public void removeDistinguishingPremise(Premise oldDistinguishingPremise)

setDistinguishingPremises

public void setDistinguishingPremises(ArrayList<Premise> newDistinguishingPremises)

getExceptions

public ArrayList<Premise> getExceptions()

addException

public void addException(Premise newException)

removeException

public void removeException(Premise oldException)

setExceptions

public void setExceptions(ArrayList<Premise> newExceptions)

getPresumptions

public ArrayList<Premise> getPresumptions()

addPresumption

public void addPresumption(Premise newPresumption)

removePresumption

public void removePresumption(Premise oldPresumption)

setPresumptions

public void setPresumptions(ArrayList<Premise> newPresumptions)