Crate aspic

Re-exports

pub use parse::Formula;

pub use parse::InferenceRule;

pub use parse::Language;

pub use parse::RuleLabel;

pub use parse::SystemDescription;

pub use nom;

Modules

parse

Structs

ArgumentationFramework

An argumentation framework.

Theory

Enums

AspicError

Traits

ICCMA23Serialize

Functions

generate_af

Type Aliases

StructuredAF