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 e99ff475b584ed64e833dd74303ff043484d6d84..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
@@ -129,7 +131,7 @@ options can be used as usual.
 
    ./network-ns3 --cfg=network/model:ns-3 (other parameters)
 
-Many other files from the ``examples/platform directory`` are usable with the
+Many other files from the ``examples/platform`` directory are usable with the
 ns-3 model, such as `examples/platforms/dogbone.xml <https://framagit.org/simgrid/simgrid/tree/master/examples/platforms/dogbone.xml>`_.
 Check the file  `examples/s4u/network-ns3/network-ns3.tesh <https://framagit.org/simgrid/simgrid/tree/master/examples/s4u/network-ns3/network-ns3.tesh>`_
 to see which ones are used in our regression tests.
@@ -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