cz.afri.smg.graphs

Class CLangSMGConsistencyVerifier

java.lang.Object

cz.afri.smg.graphs.CLangSMGConsistencyVerifier

public final class CLangSMGConsistencyVerifier
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static boolean	verifyCLangSMG(ReadableSMG pReadableSMG) Verify all the consistency properties related to CLangSMG

Methods inherited from class java.lang.Object

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

Method Detail

verifyCLangSMG

public static boolean verifyCLangSMG(ReadableSMG pReadableSMG)

Verify all the consistency properties related to CLangSMG

Parameters:

pLogger - Logger to log results

pSmg - SMG to check

Returns:

True if pSmg is consistent w.r.t. this criteria. False otherwise.