Functions

Faudes-functions implement operations to be performed on faudes-typed parameters. Each faudes-function has one or more signatures to specify supported parameter types. For example, the function for the parallel composition of two generators has the following signature:

Signature:

Parallel(+In+ Generator G1, +In+ Generator G2, +Out+ Generator GRes)

Parallel(+In+ GeneratorVector GVec, +Out+ Generator GRes)

A parameter that remains constant during the execution of a function is referred to as an argument, indicated by +In+. A parameter, that does not affect the outcome of the function, but that does change its value during execution, is referred to as a result, indicated by +Out+. Other parameters are flagged +InOut+.

Faudes-functions available in this copy of libFAUDES are:

AccessibleDelete non-accessible states and transitions.
AlphabetDifferenceDifference of two alphabets.
AlphabetEqualityTests whether two alphabets match.
AlphabetExtractExtract alphabet from generator.
AlphabetInclusionTests whether an alphabet includes another alphabet.
AlphabetIntersectionIntersection over alphabets.
AlphabetLanguageGenerator with Lm(G)=Sigma.
AlphabetUnionUnion over Alphabets
AutomatonConvert generator to formal automaton.
CoaccessibleDelete non-coaccessible states and transitions.
CompleteDelete states that evolve into a terminal state.
DeterministicPowerset construction to enforce determinism.
EmptyLanguageSet generator to mark empty language.
EmptyStringLanguageGenerator with Lm(G)={epsilon}.
FullLanguageGenerator with Lm(G)=Sigma*.
IntegerSumSum of integer arguments.
InvProjectInverse projection of marked and generated language.
IsAccessibleTests a generator for accessibility.
IsCoaccessibleTests a generator for coaccessibility.
IsCompleteTest completeness of a generator.
IsDeterministicTest for determinsim.
IsEmptyLanguageTest Generator G for empty marked language Lm(G).
IsNonblockingTest a generator/ two languages for being nonblocking.
IsOmegaClosedTests a language for being omega-closed.
IsOmegaTrimTests a generator for omega trimness.
IsPrefixClosedTests a language for being prefix-closed.
IsTrimTests a generator for trimness.
KleeneClosureCompute Kleene closure for given language.
LanguageComplementComputes the complement of a language.
LanguageConcatenateConcatenates two languages.
LanguageDifferenceComputes the difference of two languages.
LanguageDisjointTests whether two languages are disjoint.
LanguageEqualityTests whether two languages are equal.
LanguageInclusionTests whether a languages includes another language.
LanguageIntersectionComputes the intersection of languages.
LanguageUnionComputes the union of languages.
MarkAllStatesMark all states in generator.
OmegaClosureCompute omega closure for given language.
OmegaParallelParallel composition with relaxed acceptance condition.
OmegaProductProduct composition for Buechi acceptance condition.
OmegaTrimDelete states to achieve omega-trimness.
ParallelComputes the parallel composition of two or more generators.
PrefixClosureCompute prefix closure for given language.
ProductComputes the product composition of two genertors.
ProjectNatural projection of marked and generated language.
SelfLoopSelf loop with specified alphabet.
StateMinStateset minimization.
TrimDelete non-coaccessible and non-accessible states and transitions.
UniqueInitEnforce unique initial state.

libFAUDES 2.28a --- 2016.09.13 --- with "timed-iodevice-simulator"