Quickstart

Installing WRENCH
Getting started

Concepts

Simulation 101
WRENCH 101
WRENCH 102

API Reference

WRENCH User C++ API
WRENCH Developer C++ API
WRENCH Internal C++ API
WRENCH REST API
WRENCH Python API

WRENCH

WRENCH Internal C++ API
wrench::HostStateChangeDetectorProperty
View page source

wrench::HostStateChangeDetectorProperty

class HostStateChangeDetectorProperty : public wrench::ServiceProperty : Configurable properties for a HostStateChangeDetector.

Previous Next

© Copyright 2017-2022, WRENCH.

Built with Sphinx using a theme provided by Read the Docs.