Package geneticalgorithm

Class PreciseModelCountingSpecificationFitness

java.lang.Object

geneticalgorithm.PreciseModelCountingSpecificationFitness

All Implemented Interfaces:

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

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

Field Summary

Fields

Modifier and Type	Field	Description
BigInteger	originalNegationNumOfModels
BigInteger	originalNumOfModels
owl.ltl.tlsf.Tlsf	originalSpecification
SpecificationChromosome.SPEC_STATUS	originalStatus

Constructor Summary

Constructors

Constructor	Description
PreciseModelCountingSpecificationFitness(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
double	compute_lost_models_porcentage(owl.ltl.tlsf.Tlsf original, owl.ltl.tlsf.Tlsf refined)
void	compute_status(SpecificationChromosome chromosome)
double	compute_syntactic_distance_size(owl.ltl.tlsf.Tlsf original, owl.ltl.tlsf.Tlsf refined)
double	compute_won_models_porcentage(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

originalStatus

public SpecificationChromosome.SPEC_STATUS originalStatus

originalNumOfModels

public BigInteger originalNumOfModels

originalNegationNumOfModels

public BigInteger originalNegationNumOfModels

Constructor Detail

PreciseModelCountingSpecificationFitness

public PreciseModelCountingSpecificationFitness(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_lost_models_porcentage

public double compute_lost_models_porcentage(owl.ltl.tlsf.Tlsf original,
                                             owl.ltl.tlsf.Tlsf refined)
                                      throws IOException,
                                             InterruptedException

Throws:

IOException

InterruptedException

compute_won_models_porcentage

public double compute_won_models_porcentage(owl.ltl.tlsf.Tlsf original,
                                            owl.ltl.tlsf.Tlsf refined)
                                     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)