Package es.urjc.etsii.grafo.util

Class AssertionUtil

java.lang.Object

es.urjc.etsii.grafo.util.AssertionUtil

public class AssertionUtil
extends Object

Assertion utils Reference

Method Summary

Modifier and Type	Method	Description
static boolean	biimplication(boolean p, boolean q)	Does the supposition "if and only if" hold?
static boolean	implication(boolean p, boolean q)	Does the supposition "if then" hold?

Methods inherited from class java.lang.Object

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

Method Details

biimplication

public static boolean biimplication(boolean p,
 boolean q)

Does the supposition "if and only if" hold? P <--> Q = (P & Q) | (!P & !Q)

Parameters:

p - P

q - Q

Returns:

true if valid supposition, false otherwise

implication

public static boolean implication(boolean p,
 boolean q)

Does the supposition "if then" hold? P --> Q = !P || Q

Parameters:

p - P

q - Q

Returns:

true if valid supposition, false otherwise