public class RuleModel
extends java.lang.Object
Constructor and Description |
---|
RuleModel() |
Modifier and Type | Method and Description |
---|---|
double |
getCoverage() |
java.lang.String |
getLtlRule() |
java.lang.String |
getRuleName() |
boolean |
isSatisfied() |
void |
setCoverage(double coverage) |
void |
setLtlRule(java.lang.String ltlRule) |
void |
setRuleName(java.lang.String ruleName) |
void |
setSatisfied(boolean satisfied) |
public double getCoverage()
public void setCoverage(double coverage)
public boolean isSatisfied()
public void setSatisfied(boolean satisfied)
public java.lang.String getLtlRule()
public void setLtlRule(java.lang.String ltlRule)
public java.lang.String getRuleName()
public void setRuleName(java.lang.String ruleName)