Documentation fixes.

JuliaPlanners · Apr 28, 2024 · bb8cf9c · bb8cf9c
1 parent da6f900
commit bb8cf9c
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 4 deletions.
diff --git a/docs/src/ref/absint.md b/docs/src/ref/absint.md
@@ -1,6 +1,6 @@
 # Abstract Interpretation
 
-PDDL.jl supports [abstract interpretation](https://en.wikipedia.org/wiki/Abstract_interpretation) of PDDL domains, the semantics of which can also be compiled using the [PDDL.jl compiler](compiler.md). This functionality is exposed by the [`abstracted`](@ref) and [`abstractstate`](@ref) functions:
+PDDL.jl supports [abstract interpretation](https://en.wikipedia.org/wiki/Abstract_interpretation) of PDDL domains. This functionality is exposed by the [`abstracted`](@ref) and [`abstractstate`](@ref) functions:
 
 ```@docs
 abstracted
@@ -10,7 +10,14 @@ abstractstate
 The behavior of the abstract interpreter can be customized by specifying the Julia type used to represent abstract values for a particular fluent or PDDL type:
 
 ```@docs
-PDDL.AbstractInterpeter
+PDDL.AbstractInterpreter
+```
+
+Abstract semantics can also be compiled by calling [`compiled`](@ref) on an abstracted domain and state:
+
+```julia
+domain, state = abstracted(domain, state)
+domain, state = compiled(domain, state)
 ```
 
 ## Abstract Values and Types
@@ -21,4 +28,4 @@ Abstract interpretation requires each concrete value to be mapped to an abstract
 PDDL.BooleanAbs
 PDDL.IntervalAbs
 PDDL.SetAbs
-```
+```
diff --git a/src/interpreter/abstract/abstract.jl b/src/interpreter/abstract/abstract.jl
@@ -60,7 +60,7 @@ abstracted(domain::GenericDomain, problem::GenericProblem) =
 """
     abstractstate(domain, state)
 
-Construct a state in an abstract `domain` from a concrete `state.
+Construct a state in an abstract `domain` from a concrete `state`.
 """
 function abstractstate(domain::AbstractedDomain, state::GenericState)
     # Copy over facts