Package net.maswag.falcaun

Class EQSearchProblem

java.lang.Object

org.uma.jmetal.problem.impl.AbstractGenericProblem<org.uma.jmetal.solution.IntegerSolution>

org.uma.jmetal.problem.impl.AbstractIntegerProblem

net.maswag.falcaun.EQSearchProblem

All Implemented Interfaces:

Serializable, EvaluationCountable, org.uma.jmetal.problem.BoundedProblem<Integer,org.uma.jmetal.solution.IntegerSolution>, org.uma.jmetal.problem.IntegerProblem, org.uma.jmetal.problem.Problem<org.uma.jmetal.solution.IntegerSolution>

public class EQSearchProblem
extends org.uma.jmetal.problem.impl.AbstractIntegerProblem
implements EvaluationCountable

EQSearchProblem class.

Author:

Masaki Waga <masakiwaga@gmail.com>

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface net.maswag.falcaun.EvaluationCountable

EvaluationCountable.MealyEquivalenceOracle<I,O>, EvaluationCountable.Sum

Field Summary

Fields

Modifier and Type	Field	Description
private de.learnlib.query.DefaultQuery<String,net.automatalib.word.Word<String>>	cexQuery
private int	evaluateCount
private net.automatalib.automaton.transducer.MealyMachine<?,String,?,String>	hypothesis
private final int	length
private final NumericMembershipOracleCost	memOracle
private boolean	stopped
private List<? extends String>	symbolList

Constructor Summary

Constructors

Constructor	Description
EQSearchProblem(NumericMembershipOracleCost memOracle, int length)

Method Summary

Modifier and Type	Method	Description
void	evaluate(org.uma.jmetal.solution.IntegerSolution integerSolution)
(package private) de.learnlib.query.DefaultQuery<String,net.automatalib.word.Word<String>>	getCexQuery()
(package private) boolean	isStopped()
(package private) void	setHypothesis(net.automatalib.automaton.transducer.MealyMachine<?,String,?,String> hypothesis)
(package private) void	setSymbolList(List<? extends String> symbolList)

Methods inherited from class org.uma.jmetal.problem.impl.AbstractIntegerProblem

createSolution, getLowerBound, getUpperBound, setLowerLimit, setUpperLimit

Methods inherited from class org.uma.jmetal.problem.impl.AbstractGenericProblem

getName, getNumberOfConstraints, getNumberOfObjectives, getNumberOfVariables, setName, setNumberOfConstraints, setNumberOfObjectives, setNumberOfVariables

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.maswag.falcaun.EvaluationCountable

getEvaluateCount

Methods inherited from interface org.uma.jmetal.problem.Problem

getName, getNumberOfConstraints, getNumberOfObjectives, getNumberOfVariables

Field Details

symbolList

private List<? extends String> symbolList

memOracle

private final NumericMembershipOracleCost memOracle

hypothesis

private net.automatalib.automaton.transducer.MealyMachine<?,String,?,String> hypothesis

length

private final int length

cexQuery

private de.learnlib.query.DefaultQuery<String,net.automatalib.word.Word<String>> cexQuery

stopped

private boolean stopped

evaluateCount

private int evaluateCount

Constructor Details

EQSearchProblem

EQSearchProblem(NumericMembershipOracleCost memOracle,
 int length)

Method Details

setSymbolList

void setSymbolList(List<? extends String> symbolList)

evaluate

public void evaluate(org.uma.jmetal.solution.IntegerSolution integerSolution)

Specified by:

evaluate in interface org.uma.jmetal.problem.Problem<org.uma.jmetal.solution.IntegerSolution>

getCexQuery

de.learnlib.query.DefaultQuery<String,net.automatalib.word.Word<String>> getCexQuery()

setHypothesis

void setHypothesis(net.automatalib.automaton.transducer.MealyMachine<?,String,?,String> hypothesis)

isStopped

boolean isStopped()