//Solve evaluates the assertions which returns values of symbollic inputs vars in int form
Solve evaluates the assertions which returns values of symbollic inputs vars in int form
// Solve evaluates the assertions which returns values of symbollic inputs vars in int form
func (s *Solver) Solve(vars ...Expr) []uint64 {
	res := []uint64{}
	s.AssertFormula(s.TrueExpr())
	s.Query(s.NotExpr(s.TrueExpr()))
	whole := s.GetWholeCounterExample()
	for _, x := range vars {
		tmp := ExprString(s.GetTermFromCounterExample(x, whole))
		res = append(res, s.H2i(tmp))
	}
	return res
}
func ( s * Solver ) Solve ( vars ... Expr ) [ ] uint64 { res := [ ] uint64 { } s . AssertFormula ( s . TrueExpr ( ) ) s . Query ( s . NotExpr ( s . TrueExpr ( ) ) ) whole := s . GetWholeCounterExample ( ) for _ , x := range vars { tmp := ExprString ( s . GetTermFromCounterExample ( x , whole ) ) res = append ( res , s . H2i ( tmp ) ) } return res }
Solve evaluates the assertions which returns values of symbollic inputs vars in int form
Solve evaluates the assertions which returns values of symbollic inputs vars in int form