public class CheckResultCell
extends java.lang.Object
Constructor and Description |
---|
CheckResultCell() |
Modifier and Type | Method and Description |
---|---|
org.deckfour.xes.model.XTrace |
getInstance() |
java.lang.String |
getLtl() |
java.lang.String |
getRule() |
boolean |
isTruthValue() |
void |
setInstance(org.deckfour.xes.model.XTrace instance) |
void |
setLtl(java.lang.String ltl) |
void |
setRule(java.lang.String rule) |
void |
setTruthValue(boolean truthValue) |
public java.lang.String getRule()
public void setRule(java.lang.String rule)
public java.lang.String getLtl()
public void setLtl(java.lang.String ltl)
public boolean isTruthValue()
public void setTruthValue(boolean truthValue)
public org.deckfour.xes.model.XTrace getInstance()
public void setInstance(org.deckfour.xes.model.XTrace instance)