Package geneticalgorithm

Class ModelCountingSpecificationFitness

java.lang.Object

geneticalgorithm.ModelCountingSpecificationFitness

All Implemented Interfaces:

com.lagodiuk.ga.Fitness<SpecificationChromosome,Double>

public class ModelCountingSpecificationFitness
extends Object
implements com.lagodiuk.ga.Fitness<SpecificationChromosome,Double>

Field Summary

Fields

Modifier and Type	Field	Description
List<String>	alphabet
BigInteger	originalNumOfModels
owl.ltl.tlsf.Tlsf	originalSpecification
SpecificationChromosome.SPEC_STATUS	originalStatus

Constructor Summary

Constructors

Constructor	Description
ModelCountingSpecificationFitness(owl.ltl.tlsf.Tlsf originalSpecification)

Method Summary

Modifier and Type	Method	Description
Double	calculate(SpecificationChromosome chromosome)	Assume that chromosome1 is better than chromosome2 fit1 = calculate(chromosome1) fit2 = calculate(chromosome2) So the following condition must be true fit1.compareTo(fit2) <= 0
void	compute_status(SpecificationChromosome chromosome)
double	compute_syntactic_distance(owl.ltl.tlsf.Tlsf original, owl.ltl.tlsf.Tlsf refined)
double	compute_syntactic_distance_size(owl.ltl.tlsf.Tlsf original, owl.ltl.tlsf.Tlsf refined)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

originalSpecification

public owl.ltl.tlsf.Tlsf originalSpecification

alphabet

public List<String> alphabet

originalStatus

public SpecificationChromosome.SPEC_STATUS originalStatus

originalNumOfModels

public BigInteger originalNumOfModels

Constructor Detail

ModelCountingSpecificationFitness

public ModelCountingSpecificationFitness(owl.ltl.tlsf.Tlsf originalSpecification)
                                  throws IOException,
                                         InterruptedException

Throws:

IOException

InterruptedException

Method Detail

calculate

public Double calculate(SpecificationChromosome chromosome)

Description copied from interface: com.lagodiuk.ga.Fitness

Assume that chromosome1 is better than chromosome2
fit1 = calculate(chromosome1)
fit2 = calculate(chromosome2)
So the following condition must be true
fit1.compareTo(fit2) <= 0

Specified by:

calculate in interface com.lagodiuk.ga.Fitness<SpecificationChromosome,Double>

compute_status

public void compute_status(SpecificationChromosome chromosome)
                    throws IOException,
                           InterruptedException

Throws:

IOException

InterruptedException

compute_syntactic_distance_size

public double compute_syntactic_distance_size(owl.ltl.tlsf.Tlsf original,
                                              owl.ltl.tlsf.Tlsf refined)

compute_syntactic_distance

public double compute_syntactic_distance(owl.ltl.tlsf.Tlsf original,
                                         owl.ltl.tlsf.Tlsf refined)