public class BooleanOperations
extends java.lang.Object
Constructor and Description |
---|
BooleanOperations() |
Modifier and Type | Method and Description |
---|---|
static laas.aadl.aadl2gspn.BooleanOperand |
and(laas.aadl.aadl2gspn.BooleanOperand bo1,
laas.aadl.aadl2gspn.BooleanOperand bo2)
This method computes the logic operation and between 2 boolean operands
a.b.c & c.d = a.b.c.d
|
static BooleanExpression |
and(org.eclipse.emf.common.util.EList bes)
This method computes the and between n boolean expressions in DNF
|
static laas.aadl.aadl2gspn.BooleanOperand |
getTransitionCauseExpression(PetriNet.PetriNet pn,
PetriNet.Place intermediaryPlace,
PetriNet.Transition t)
This method finds the places, other than the intermediary place, in the petri net the have
outgoing arcs to the transition t given as a parameter of the method and creates the corresponding
BooleanOperand object
|
static BooleanExpression |
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 |
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+...
|
public static laas.aadl.aadl2gspn.BooleanOperand getTransitionCauseExpression(PetriNet.PetriNet pn, PetriNet.Place intermediaryPlace, PetriNet.Transition t)
pn
- PetriNetintermediaryPlace
- Placet
- Transitionpublic static BooleanExpression and(org.eclipse.emf.common.util.EList bes)
bes
- EList containing objects of class BooleanExpressionpublic static BooleanExpression not(BooleanExpression be)
be
- BooleanExpressionpublic static BooleanExpression notBooleanOperand(laas.aadl.aadl2gspn.BooleanOperand bo)
bo
- public static laas.aadl.aadl2gspn.BooleanOperand and(laas.aadl.aadl2gspn.BooleanOperand bo1, laas.aadl.aadl2gspn.BooleanOperand bo2)
bo1
- BooleanOperandbo2
- BooleanOperand