The profile of a theory (graphBuildMode): the flags its definition needs, preset
No preset: every flag as the solver and the theory state it
ASPIC+, its preferences on the last or weakest link (the default)
ASPIC+ with no preferences
ASPIC+ on defeasible rules alone
The rules and the conflicts are arguments as well
Assumption-based argumentation, flat
ABA+, flat, under weak contraposition
Abstract argumentation frameworks
Returns a representation of an immutable list of all enum entries, in the order they're declared.
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
Returns an array containing the constants of this enum type, in the order they're declared.