public class Solvers extends Object
Constructor and Description |
---|
Solvers() |
Modifier and Type | Method and Description |
---|---|
void |
addPatternComponent(PatternComponent patternComponent) |
void |
addRuleComponent(RuleComponent ruleComponent) |
void |
endExists() |
void |
endForall() |
void |
endNot() |
void |
endOperator() |
void |
endPatternSolver() |
void |
endRuleSolver() |
List<SubPattern> |
getPatternPossibilities() |
org.drools.verifier.solver.PatternSolver |
getPatternSolver() |
List<SubRule> |
getRulePossibilities() |
RuleSolver |
getRuleSolver() |
void |
setPatternPossibilities(List<SubPattern> patternPossibilities) |
void |
setRulePossibilities(List<SubRule> rulePossibilities) |
void |
startExists() |
void |
startForall() |
void |
startNot() |
void |
startOperator(OperatorDescrType type) |
void |
startPatternSolver(Pattern pattern) |
void |
startRuleSolver(VerifierRule rule) |
public void startRuleSolver(VerifierRule rule)
public void endRuleSolver()
public void startPatternSolver(Pattern pattern)
public void endPatternSolver()
public void startForall()
public void endForall()
public void startExists()
public void endExists()
public void startNot()
public void endNot()
public void startOperator(OperatorDescrType type)
public void endOperator()
public void addRuleComponent(RuleComponent ruleComponent)
public void addPatternComponent(PatternComponent patternComponent)
public List<SubPattern> getPatternPossibilities()
public void setPatternPossibilities(List<SubPattern> patternPossibilities)
public org.drools.verifier.solver.PatternSolver getPatternSolver()
public RuleSolver getRuleSolver()
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.