org.drools.verifier.solver
Class RuleSolver

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

public class RuleSolver
extends Object

Takes a list of Constraints and makes possibilities from them.


Constructor Summary
RuleSolver(VerifierRule rule)
           
 
Method Summary
 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()


Copyright © 2001-2013 JBoss Inc.. All Rights Reserved.