int
OpenSMTContext::executeCommands( )
{
assert( init );
int ret_val = 0;
// Weird situation
if ( nof_checksat <= 0 )
return 2;
// Trick for efficiency
if ( nof_checksat == 1 )
ret_val = executeStatic( );
// Normal incremental solving
else
{
config.incremental = 1;
ret_val = executeIncremental( );
}
return ret_val;
}
void NativeProxyStatic::executeManaged(const stdtstring &function, AnyTypeArray ¶meters, AnyType &result)
{
executeStatic(_pImpl->managedDll, _pImpl->managedClass, function, parameters, result);
}