public class Instance extends Object
Constructor and Description |
---|
Instance() |
Modifier and Type | Method and Description |
---|---|
TreeAutomaton |
getChart() |
Map<String,String> |
getComments() |
Tree<Integer> |
getDerivationTree() |
Map<String,Object> |
getInputObjects() |
Map<String,Object> |
getRestrictedInputObjects(Iterable<String> interpretations) |
boolean |
isNull() |
void |
setAsNull() |
void |
setChart(TreeAutomaton chart) |
void |
setComments(Map<String,String> comments) |
void |
setComments(String... comments) |
void |
setDerivationTree(Tree<Integer> derivationTree) |
void |
setInputObjects(Map<String,Object> inputObjects) |
String |
toString() |
String |
toString(TreeAutomaton auto) |
Instance |
withChart(TreeAutomaton chart) |
public Map<String,Object> getRestrictedInputObjects(Iterable<String> interpretations)
public void setAsNull()
public boolean isNull()
public TreeAutomaton getChart()
public void setChart(TreeAutomaton chart)
public Instance withChart(TreeAutomaton chart)
public void setComments(String... comments)
public String toString(TreeAutomaton auto)
Copyright © 2017. All rights reserved.