public class RuleSolver extends Object
Constructor and Description |
---|
RuleSolver(VerifierRule rule) |
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) |
public RuleSolver(VerifierRule rule)
public VerifierRule getRule()
public void addOperator(OperatorDescrType type)
public void add(VerifierComponent descr)
descr
- protected void end()
public void setChildForall(boolean b)
public void setChildExists(boolean b)
public void setChildNot(boolean b)
public boolean isForall()
public boolean isExists()
public boolean isChildNot()
public List<Set<VerifierComponent>> getPossibilityLists()
Copyright © 2001-2015 JBoss by Red Hat. All Rights Reserved.