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.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RuleSolver
public RuleSolver(VerifierRule rule)
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()
Copyright © 2001-2013 JBoss Inc.. All Rights Reserved.