org.drools.verifier.solver

Class RuleSolver

java.lang.Object

org.drools.verifier.solver.RuleSolver

public class RuleSolver
extends Object

Takes a list of Constraints and makes possibilities from them.

Constructor Summary

Constructors

Constructor and Description
RuleSolver(VerifierRule rule)

Method Summary

Modifier and Type	Method and Description
void	add(VerifierComponent descr) Add new descr.
void	addOperator(OperatorDescrType type)
protected void	end() Ends subSolvers data collection.
List<Set<VerifierComponent>>	getPossibilityLists()
VerifierRule	getRule()
boolean	isChildNot()
boolean	isExists()
boolean	isForall()
void	setChildExists(boolean b)
void	setChildForall(boolean b)
void	setChildNot(boolean b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RuleSolver

public RuleSolver(VerifierRule rule)

Method Detail

getRule

public VerifierRule getRule()

addOperator

public void addOperator(OperatorDescrType type)

add

public void add(VerifierComponent descr)

Add new descr.

Parameters:

descr -

end

protected void end()

Ends subSolvers data collection.

setChildForall

public void setChildForall(boolean b)

setChildExists

public void setChildExists(boolean b)

setChildNot

public void setChildNot(boolean b)

isForall

public boolean isForall()

isExists

public boolean isExists()

isChildNot

public boolean isChildNot()

getPossibilityLists

public List<Set<VerifierComponent>> getPossibilityLists()