Package geneticalgorithm
-
Class Summary Class Description AutomataBasedModelCountingSpecificationFitness The multi-objective fitness function of AuRUS — the compass that guides the genetic search — with the semantic component estimated via approximate bounded model counting over automaton transfer matrices.ModelCountingSpecificationFitness PreciseModelCountingSpecificationFitness SpecificationChromosome The individual of AuRUS's genetic search: a complete assume-guarantee specification, together with its cached evaluation results.SpecificationCrossover The crossover operator of AuRUS: recombines two parent specifications into offspring that mix their assumptions and guarantees, so that promising fragments discovered in different individuals can meet in a single candidate.SpecificationFitness SpecificationGeneticAlgorithm Main entry point of the AuRUS search: a genetic algorithm that evolves candidate repairs for an unrealisable assume-guarantee LTL specification.SpecificationMerger SpecificationMutator The mutation operator of AuRUS: produces a syntactic variant of a specification by rewriting one randomly chosen sub-formula of one of its assumptions or guarantees. -
Enum Summary Enum Description SpecificationChromosome.SPEC_STATUS The evaluation lattice of a candidate specification, ordered from completely broken to repaired: