public class PatternCompiler
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static AbstractionModel |
compile(CompositionRoot composition,
java.lang.String composedModelName,
java.util.Map<java.lang.String,AbstractionPattern> patternMap,
boolean reduceTau) |
static AbstractionModel |
compile(java.lang.String compositionFormula,
java.lang.String netName,
java.util.Map<java.lang.String,AbstractionPattern> patternMap,
boolean reduceTau) |
public static AbstractionModel compile(CompositionRoot composition, java.lang.String composedModelName, java.util.Map<java.lang.String,AbstractionPattern> patternMap, boolean reduceTau) throws CompositionVisitorException
CompositionVisitorException
public static AbstractionModel compile(java.lang.String compositionFormula, java.lang.String netName, java.util.Map<java.lang.String,AbstractionPattern> patternMap, boolean reduceTau) throws ParseException, CompositionVisitorException