mc_api::automaton_propositional_symbol_evaluate() is used in LivenessChecker::get_pro...

[simgrid.git] / docs / source / ns3.rst

diff --git a/docs/source/ns3.rst b/docs/source/ns3.rst
index a2cb51c57bd6ba81e2833b4e23b6d4130225a57a..e27de748d281dac2e94cdbdf562f9f7b9061969d 100644 (file)
--- a/docs/source/ns3.rst
+++ b/docs/source/ns3.rst
@@ -12,7 +12,9 @@ The SimGrid/ns-3 binding only contains features that are common to both systems.
 Not all ns-3 models are available from SimGrid (only the TCP and WiFi ones are),
 while not all SimGrid platform files can be used in conjunction ns-3 (routes
 must be of length 1). Also, the platform built in ns-3 from the SimGrid
-description is very basic.
+description is very basic. Finally, communicating from a host to
+itself is forbidden in ns-3, so every such communication completes
+immediately upon startup.
 
 
 Compiling the ns-3/SimGrid binding
@@ -180,7 +182,7 @@ WiFi network performance
 
 
 The performance of a wifi network is controlled by 3 property that can be added
-to the an host connected to the wifi zone:
+to the a host connected to the wifi zone:
 
  * ``wifi_mcs`` (`Modulation and Coding Scheme <https://en.wikipedia.org/wiki/Link_adaptation>`_)
    Roughly speaking, it defines the speed at which the access point is