|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<Agent.Attitude>
argutia.logic.argumentationFramework.Agent.Attitude
public static enum Agent.Attitude
The notion of admissiblity determines four possible distinct attitudes that an agent may adopt concerning a given formula. By extension, an agent is FOR a set of formulas iff she is FOR the conjunction of the formulas of this set.
Enum Constant Summary | |
---|---|
CONTRE
An agent A is AGAINST f iff f is non-admissible by A and ¬f is admissible by A. |
|
NEUTRE
An agent A is NEUTRAL about f iff f is admissible by A and ¬f is admissible by A. |
|
PERPLEXE
An agent A is PUZZLED by f iff f is non-admissible by A and ¬f is non-admissible by A. |
|
POUR
An agent A is FOR f iff f is admissible by A and ¬f is non-admissible by A. |
Field Summary | |
---|---|
private String |
key
|
Method Summary | |
---|---|
String |
toString()
|
static Agent.Attitude |
valueOf(String name)
Returns the enum constant of this type with the specified name. |
static Agent.Attitude[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, getDeclaringClass, hashCode, name, ordinal, valueOf |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final Agent.Attitude POUR
public static final Agent.Attitude NEUTRE
public static final Agent.Attitude PERPLEXE
public static final Agent.Attitude CONTRE
Field Detail |
---|
private String key
Method Detail |
---|
public static final Agent.Attitude[] values()
for(Agent.Attitude c : Agent.Attitude.values()) System.out.println(c);
public static Agent.Attitude valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified name
public String toString()
toString
in class Enum<Agent.Attitude>
|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |