Package org.graphwalker.core.condition

Class VertexCoverage

java.lang.Object

org.graphwalker.core.condition.StopConditionBase

org.graphwalker.core.condition.CoverageStopConditionBase

org.graphwalker.core.condition.VertexCoverage

All Implemented Interfaces:

StopCondition

public class VertexCoverage
extends CoverageStopConditionBase

VertexCoverage

The VertexCoverage stop condition is fulfilled when the percentage of visited vertices in the model is greater than, or equal, to the percentage given as a parameter to the constructor.

Author:

Nils Olsson

Field Summary

Fields inherited from interface org.graphwalker.core.condition.StopCondition

FULFILLMENT_LEVEL

Constructor Summary

Constructors

Constructor	Description
VertexCoverage(int percent)

Method Summary

Modifier and Type	Method	Description
double	getFulfilment()
boolean	isFulfilled()

Methods inherited from class org.graphwalker.core.condition.CoverageStopConditionBase

getPercent, getPercentAsDouble

Methods inherited from class org.graphwalker.core.condition.StopConditionBase

getContext, getValue, setContext, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Details

VertexCoverage

public VertexCoverage(int percent)

Method Details

isFulfilled

public boolean isFulfilled()

Specified by:

isFulfilled in interface StopCondition

Overrides:

isFulfilled in class StopConditionBase

getFulfilment

public double getFulfilment()