qat.core.formula_eval.evaluate

qat.core.formula_eval.evaluate(formula_str, tab)

Evaluate a logical formula stored in prefix format inside a string.

Parameters

• formula_str (str) – a string

• tab (list<bool>) – a list of values of the cbits

Returns

bool