public class BBase extends Object implements BooleanEvaluator
| Constructor and Description |
|---|
BBase(AbstractBVal bv) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
evalB(HashMap<String,Double> valHM) |
Boolean |
evalptr(HashMap<String,DoublePointer> varptrHM) |
Boolean |
evalptr(HashMap<String,DoublePointer> valptrHM,
HashMap<String,DoublePointer> v2HM) |
String |
getExpressionString() |
String |
getLemsExpressionString() |
BBase |
makeCopy() |
String |
toString() |
public BBase(AbstractBVal bv)
public BBase makeCopy()
makeCopy in interface BooleanEvaluatorpublic String getExpressionString()
getExpressionString in interface BooleanEvaluatorpublic String getLemsExpressionString()
getLemsExpressionString in interface BooleanEvaluatorpublic boolean evalB(HashMap<String,Double> valHM)
evalB in interface BooleanEvaluatorpublic Boolean evalptr(HashMap<String,DoublePointer> varptrHM) throws RuntimeError
evalptr in interface BooleanEvaluatorRuntimeErrorpublic Boolean evalptr(HashMap<String,DoublePointer> valptrHM, HashMap<String,DoublePointer> v2HM)
Copyright © 2019. All rights reserved.