Index

_

__init__() (Argument method) (ArgumentSet method) (CAES method) (ProofStandard method) (PropLiteral method) (TraceCalls method)

A

acceptable() (CAES method) add_argument() (ArgumentSet method) add_proposition() (ArgumentSet method) applicable() (CAES method) arg_demo() (in module carneades.caes)

Argument (class in carneades.caes) ArgumentSet (class in carneades.caes) assumptions (Audience attribute) Audience (class in carneades.caes)

C

CAES (class in carneades.caes) carneades.caes (module)

carneades.tracecalls (module) cur_indent (TraceCalls attribute)

D

draw() (ArgumentSet method)

G

get_all_arguments() (CAES method) get_arguments() (ArgumentSet method)

get_proofstandard() (ProofStandard method)

M

max_weight_applicable() (CAES method) max_weight_con() (CAES method)

max_weight_pro() (CAES method) meets_proof_standard() (CAES method)

N

negate() (PropLiteral method)

P

ProofStandard (class in carneades.caes) PropLiteral (class in carneades.caes)

propset() (ArgumentSet method)

T

TraceCalls (class in carneades.tracecalls)

W

weight (Audience attribute) weight_of() (CAES method)

write_to_graphviz() (ArgumentSet method)