In Semantic Model the
use statement allows you to include other Semantic and Domain models. This means that if you included another semantic model through the
use statement, you can call its predicates. Similarly it works with a domain model.
For example, below we include AutodromeDSL domain model:
use AutodromeDSL from org.d0sl.examples.auto.AutodromeDSL
After that we can call domain functions defined in AutodromeDSL in our Semantic Model like this:
def can stop2(car : Car) means check all not AutodromeDSL.wall ahead(car) not AutodromeDSL.road sign(car) AutodromeDSL.car ahead(car) end end def