org.drools.verifier.solver
Class Solvers
java.lang.Object
org.drools.verifier.solver.Solvers
public class Solvers
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Solvers
public Solvers()
startRuleSolver
public void startRuleSolver(VerifierRule rule)
endRuleSolver
public void endRuleSolver()
startPatternSolver
public void startPatternSolver(Pattern pattern)
endPatternSolver
public void endPatternSolver()
startForall
public void startForall()
endForall
public void endForall()
startExists
public void startExists()
endExists
public void endExists()
startNot
public void startNot()
endNot
public void endNot()
startOperator
public void startOperator(OperatorDescrType type)
endOperator
public void endOperator()
addRuleComponent
public void addRuleComponent(RuleComponent ruleComponent)
addPatternComponent
public void addPatternComponent(PatternComponent patternComponent)
getPatternPossibilities
public List<SubPattern> getPatternPossibilities()
setPatternPossibilities
public void setPatternPossibilities(List<SubPattern> patternPossibilities)
getRulePossibilities
public List<SubRule> getRulePossibilities()
setRulePossibilities
public void setRulePossibilities(List<SubRule> rulePossibilities)
getPatternSolver
public org.drools.verifier.solver.PatternSolver getPatternSolver()
getRuleSolver
public RuleSolver getRuleSolver()
Copyright © 2001-2013 JBoss Inc.. All Rights Reserved.