Uses of Class
de.rwth.i2.attestor.graph.morphism.VF2AlgorithmBuilder

Packages that use VF2AlgorithmBuilder

Package	Description
de.rwth.i2.attestor.graph.morphism	This package implements algorithms to compute various kinds of graph morphisms.

Uses of VF2AlgorithmBuilder in de.rwth.i2.attestor.graph.morphism

Methods in de.rwth.i2.attestor.graph.morphism that return VF2AlgorithmBuilder

Modifier and Type	Method and Description
VF2AlgorithmBuilder	VF2AlgorithmBuilder.addFeasibilityCondition(FeasibilityFunction condition) Adds a FeasibilityFunction used to prune the search space when searching for potential graph morphisms.
static VF2AlgorithmBuilder	VF2Algorithm.builder()
VF2AlgorithmBuilder	VF2AlgorithmBuilder.setMatchingCondition(TerminationFunction condition) Specifies the condition that determines that a suitable matching has been found.