Package | Description |
---|---|
laas.aadl.aadl2gspn |
Modifier and Type | Method and Description |
---|---|
static BooleanExpression |
BooleanOperations.and(org.eclipse.emf.common.util.EList bes)
This method computes the and between n boolean expressions in DNF
|
static BooleanExpression |
BooleanOperations.not(BooleanExpression be)
This method implements the logical operation not(expr) in which expr is a boolean expression
in DNF
es: !(a + bc + d) = !a.!(bc).!d = !a.(!b+!c).!d = !a.!b.!d +!a.!c!.d
|
static BooleanExpression |
BooleanOperations.notBooleanOperand(laas.aadl.aadl2gspn.BooleanOperand bo)
This method computes the negation of an and expression, using the rule of
De Morgan !(abc...) = !a+!b+!c+...
|
Modifier and Type | Method and Description |
---|---|
static BooleanExpression |
BooleanOperations.not(BooleanExpression be)
This method implements the logical operation not(expr) in which expr is a boolean expression
in DNF
es: !(a + bc + d) = !a.!(bc).!d = !a.(!b+!c).!d = !a.!b.!d +!a.!c!.d
|