org.eclipse.viatra.dse.objectives.impl

Class DepthHardObjective

java.lang.Object

org.eclipse.viatra.dse.objectives.impl.BaseObjective

org.eclipse.viatra.dse.objectives.impl.DepthHardObjective

All Implemented Interfaces:

IObjective

public class DepthHardObjective
extends BaseObjective

This hard objective is fulfilled if the trajectory is in the specified interval (inclusive).

Field Summary

Fields

Modifier and Type	Field and Description
protected int	maxDepth
protected int	minDepth

Fields inherited from class org.eclipse.viatra.dse.objectives.impl.BaseObjective

comparator, fitnessConstraint, fitnessConstraintComparator, isThereFitnessConstraint, level, name

Constructor Summary

Constructors

Constructor and Description
DepthHardObjective()
DepthHardObjective(int minDepth)
DepthHardObjective(int minDepth, int maxDepth)
DepthHardObjective(java.lang.String name)
DepthHardObjective(java.lang.String name, int minDepth)
DepthHardObjective(java.lang.String name, int minDepth, int maxDepth)

Method Summary

Modifier and Type	Method and Description
IObjective	createNew() Returns an instance of the IObjective.
java.lang.Double	getFitness(ThreadContext context) Calculates the value of the objective on a given solution (trajectory).
void	init(ThreadContext context) Initializes the objective.
boolean	isHardObjective() Returns true if the objective is a hard objective.
boolean	satisifiesHardObjective(java.lang.Double fitness) Determines if the given fitness value satisfies the hard objective.
DepthHardObjective	withMaxDepth(int maxDepth)
DepthHardObjective	withMinDepth(int minDepth)

Methods inherited from class org.eclipse.viatra.dse.objectives.impl.BaseObjective

equals, getComparator, getLevel, getName, hashCode, setComparator, setLevel, toString, withComparator, withHardConstraintOnFitness, withHardConstraintOnFitness, withLevel

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

minDepth

protected int minDepth

maxDepth

protected int maxDepth

Constructor Detail

DepthHardObjective

public DepthHardObjective()

DepthHardObjective

public DepthHardObjective(java.lang.String name)

DepthHardObjective

public DepthHardObjective(int minDepth)

DepthHardObjective

public DepthHardObjective(java.lang.String name,
                          int minDepth)

DepthHardObjective

public DepthHardObjective(int minDepth,
                          int maxDepth)

DepthHardObjective

public DepthHardObjective(java.lang.String name,
                          int minDepth,
                          int maxDepth)

Method Detail

withMinDepth

public DepthHardObjective withMinDepth(int minDepth)

withMaxDepth

public DepthHardObjective withMaxDepth(int maxDepth)

init

public void init(ThreadContext context)

Description copied from interface: IObjective

Initializes the objective. It is called exactly once for every thread starts.

Specified by:

init in interface IObjective

Overrides:

init in class BaseObjective

Parameters:

context - The ThreadContext.

getFitness

public java.lang.Double getFitness(ThreadContext context)

Description copied from interface: IObjective

Calculates the value of the objective on a given solution (trajectory).

Parameters:

context - The ThreadContext

Returns:

The objective value in double.

isHardObjective

public boolean isHardObjective()

Description copied from interface: IObjective

Returns true if the objective is a hard objective. In such a case the method IObjective.satisifiesHardObjective(Double) is called.

Specified by:

isHardObjective in interface IObjective

Overrides:

isHardObjective in class BaseObjective

Returns:

True if the objective is a hard objective.

See Also:

IObjective.satisifiesHardObjective(Double), IObjective

satisifiesHardObjective

public boolean satisifiesHardObjective(java.lang.Double fitness)

Description copied from interface: IObjective

Determines if the given fitness value satisfies the hard objective.

Specified by:

satisifiesHardObjective in interface IObjective

Overrides:

satisifiesHardObjective in class BaseObjective

Parameters:

fitness - The fitness value of a solution.

Returns:

True if it satisfies the hard objective or it is a soft constraint.

See Also:

IObjective

createNew

public IObjective createNew()

Description copied from interface: IObjective

Returns an instance of the IObjective. If it returns the same instance, all the methods has to be thread save as they are called concurrently.

Returns:

An instance of the objective.