org.drools.verifier.solver
Class Solvers

java.lang.Object
  extended by org.drools.verifier.solver.Solvers

public class Solvers
extends Object


Constructor Summary
Solvers()
           
 
Method Summary
 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)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Solvers

public Solvers()
Method Detail

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.