C++ (Cpp) executeStatic Exemples

Exemple #1

Fichier : OpenSMTContext.C Projet : 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;
}

Exemple #2

Fichier : NativeProxyStatic.cpp Projet : nequeo/base

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