fixed picoSAT dependency in CMakeLists.txt of smt2Input_evaluator
added missing default target for switch-case in UTreeEvaluator
adds template to concatenate two boost::mpl::string
adds missing tags to SMT_Tag_Mapping
removes redundant function from UTreeEvaluator
removed dead code from UTreeEvaluator
refactored initialization of predicate and bitvector map in UTreeEvaluator
new method evaluateExpressions(.) which evaluate expressions to result_types in UTreeEvaluator
avoid building temporary shared_ptrs in UTreeEvaluator
removed unnecessary namespaces from UTreeEvaluator
refactored smt2operator and OperatorMap utilizing a compile-time index lookup template
the indices are the positions of the tags in the AllTags vector and the string-names are taken from the SMT_NameMap
refactored PredicateMap and BitVectorMap into a single VarMap in UTreeEvalator
fixed memory leaks of UTreeEvaluator by using shared_ptr
improved const correctness of UTreeEvaluator
implemented functionality to evaluate SMT-LIB2 strings
implement tag attributes
create result_type from index in UTreeEvaluator
use attributes to deduce arity of a tag in UTreeEvaluator
use SMT_NameMap explicitly when get_index API is invoked