de.rwth.i2.attestor.graph.morphism.checkers

Class VF2PreconditionChecker

java.lang.Object

de.rwth.i2.attestor.graph.morphism.checkers.AbstractVF2MorphismChecker

de.rwth.i2.attestor.graph.morphism.checkers.VF2PreconditionChecker

All Implemented Interfaces:

MorphismChecker

public class VF2PreconditionChecker
extends AbstractVF2MorphismChecker

Constructor Summary

Constructors

Constructor and Description
VF2PreconditionChecker()

Method Summary

Methods inherited from class de.rwth.i2.attestor.graph.morphism.checkers.AbstractVF2MorphismChecker

getMorphism, hasMorphism, run

Methods inherited from class java.lang.Object

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

Constructor Detail

VF2PreconditionChecker

public VF2PreconditionChecker()