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 BooleanEvaluator
public String getExpressionString()
getExpressionString
in interface BooleanEvaluator
public String getLemsExpressionString()
getLemsExpressionString
in interface BooleanEvaluator
public boolean evalB(HashMap<String,Double> valHM)
evalB
in interface BooleanEvaluator
public Boolean evalptr(HashMap<String,DoublePointer> varptrHM) throws RuntimeError
evalptr
in interface BooleanEvaluator
RuntimeError
public Boolean evalptr(HashMap<String,DoublePointer> valptrHM, HashMap<String,DoublePointer> v2HM)
Copyright © 2019. All rights reserved.