```
public class RuleSolver
extends java.lang.Object
```
Takes a list of Constraints and makes possibilities from them.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`add(VerifierComponent descr)`	Add new descr.
`void`	`addOperator(OperatorDescrType type)`
`protected void`	`end()`	Ends subSolvers data collection.
`java.util.List<java.util.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

public RuleSolver(VerifierRule rule)

public void addOperator(OperatorDescrType type)

public void add(VerifierComponent descr)

Add new descr.

public void setChildForall(boolean b)

public void setChildExists(boolean b)

public void setChildNot(boolean b)

public java.util.List<java.util.Set<VerifierComponent>> getPossibilityLists()

Class RuleSolver