Index

A

AbstractSpec (class in citoolkit.specifications.spec) accepts() (citoolkit.specifications.dfa.Dfa method) (citoolkit.specifications.spec.AbstractSpec method) (citoolkit.specifications.spec.Spec method)

C

citoolkit module citoolkit.improvisers module citoolkit.improvisers.classic_ci module citoolkit.improvisers.improviser module

citoolkit.specifications module citoolkit.specifications.dfa module citoolkit.specifications.spec module ClassicCI (class in citoolkit.improvisers.classic_ci) compute_accepting_path_counts() (citoolkit.specifications.dfa.Dfa method)

D

Dfa (class in citoolkit.specifications.dfa)

DfaCycleError

E

exact_length_dfa() (citoolkit.specifications.dfa.Dfa static method)

explicit() (citoolkit.specifications.spec.AbstractSpec method)

G

generator() (citoolkit.improvisers.improviser.Improviser method)

I

improvise() (citoolkit.improvisers.classic_ci.ClassicCI method) (citoolkit.improvisers.improviser.Improviser method) Improviser (class in citoolkit.improvisers.improviser)

InfeasibleImproviserError INTERSECTION (citoolkit.specifications.spec.SpecOp attribute) intersection_construction() (citoolkit.specifications.dfa.Dfa static method)

L

language_size() (citoolkit.specifications.dfa.Dfa method) (citoolkit.specifications.spec.AbstractSpec method) (citoolkit.specifications.spec.Spec method)

M

max_length_dfa() (citoolkit.specifications.dfa.Dfa static method) min_length_dfa() (citoolkit.specifications.dfa.Dfa static method) minimize() (citoolkit.specifications.dfa.Dfa method) module citoolkit citoolkit.improvisers citoolkit.improvisers.classic_ci citoolkit.improvisers.improviser citoolkit.specifications citoolkit.specifications.dfa citoolkit.specifications.spec

N

NEGATION (citoolkit.specifications.spec.SpecOp attribute)

negation() (citoolkit.specifications.dfa.Dfa method)

S

sample() (citoolkit.specifications.dfa.Dfa method) (citoolkit.specifications.spec.AbstractSpec method) (citoolkit.specifications.spec.Spec method) Spec (class in citoolkit.specifications.spec)

SpecOp (class in citoolkit.specifications.spec) State (class in citoolkit.specifications.dfa) states_partition() (citoolkit.specifications.dfa.Dfa method) states_topological() (citoolkit.specifications.dfa.Dfa method)

U

UNION (citoolkit.specifications.spec.SpecOp attribute)

union_construction() (citoolkit.specifications.dfa.Dfa static method)