Modifier and Type | Method and Description |
---|---|
TreeSettings |
MenuController.getTreeSettings() |
Modifier and Type | Method and Description |
---|---|
TreeSettings |
Settings.getTreeSettings() |
Modifier and Type | Method and Description |
---|---|
boolean |
TreeSettings.isEqual(TreeSettings o1) |
Constructor and Description |
---|
Settings(TsSettings tsSettings,
TreeSettings treeSettings) |
Constructor and Description |
---|
AnalyzerTask(MainController controller,
AnnotatedTransitionSystem ats,
double freqThreshold,
TreeSettings settings) |
Modifier and Type | Method and Description |
---|---|
static java.util.List<RuleSet> |
RengineUtils.analyzeElement(AnnotationElementXEvent annotationEvents,
TreeSettings settings) |
static RuleSet |
RengineUtils.buildTree(AnnotationElementXEvent annotationEvents,
java.util.List<java.lang.String> attributes,
TreeSettings settings)
Synchronized method to build a tree using R.
|