Ejemplos de executeStatic en C++ (Cpp)

Ejemplo n.º 1

Archivo: OpenSMTContext.C Proyecto: aehyvari/OpenSMT2

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;
}

Ejemplo n.º 2

Archivo: NativeProxyStatic.cpp Proyecto: nequeo/base

	void NativeProxyStatic::executeManaged(const stdtstring &function, AnyTypeArray &parameters, AnyType &result)
	{
		executeStatic(_pImpl->managedDll, _pImpl->managedClass, function, parameters, result);
	}