public class ToDisjunctiveNormalForm
extends java.lang.Object
Constructor and Description |
---|
ToDisjunctiveNormalForm() |
Modifier and Type | Method and Description |
---|---|
static org.eclipse.emf.common.util.EList |
make_canonical(ComponentInstance ci,
edu.cmu.sei.aadl.errorannex.BooleanErrorExpression bee,
org.eclipse.emf.common.util.EList rules,
org.eclipse.emf.common.util.EList UpperComponentsEM)
This method is used to transform any kind of expression into a DNF expression.
|
static void |
print_canonical(org.eclipse.emf.common.util.EList or) |
public static org.eclipse.emf.common.util.EList make_canonical(ComponentInstance ci, edu.cmu.sei.aadl.errorannex.BooleanErrorExpression bee, org.eclipse.emf.common.util.EList rules, org.eclipse.emf.common.util.EList UpperComponentsEM)
BooleanErrorExpression
- beepublic static void print_canonical(org.eclipse.emf.common.util.EList or)