Package org.drools.verifier.solver

Class Solvers

java.lang.Object

org.drools.verifier.solver.Solvers

public class Solvers
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
Solvers()

Method Summary

Modifier and Type	Method	Description
void	addPatternComponent(PatternComponent patternComponent)
void	addRuleComponent(RuleComponent ruleComponent)
void	endExists()
void	endForall()
void	endNot()
void	endOperator()
void	endPatternSolver()
void	endRuleSolver()
java.util.List<SubPattern>	getPatternPossibilities()
org.drools.verifier.solver.PatternSolver	getPatternSolver()
java.util.List<SubRule>	getRulePossibilities()
RuleSolver	getRuleSolver()
void	setPatternPossibilities(java.util.List<SubPattern> patternPossibilities)
void	setRulePossibilities(java.util.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 java.util.List<SubPattern> getPatternPossibilities()

setPatternPossibilities

public void setPatternPossibilities(java.util.List<SubPattern> patternPossibilities)

getRulePossibilities

public java.util.List<SubRule> getRulePossibilities()

setRulePossibilities

public void setRulePossibilities(java.util.List<SubRule> rulePossibilities)

getPatternSolver

public org.drools.verifier.solver.PatternSolver getPatternSolver()

getRuleSolver

public RuleSolver getRuleSolver()