All notable changes to this project will be documented in this file. This project uses Semantic Versioning.
0.1.0 - 2024-05-19
- #84: Added code coverage tracking and improved test coverage.
0.0.7 - 2023-05-27
- #82: Added support for PDDL line comments.
0.0.6 - 2023-05-07
- Added a
PartialEq
forName
that allows comparison withstr
andString
directly.
- Renamed
Problem::goal
toProblem::goals
to reflect the fact that it is iterable. - If well-known names such as
object
ornumber
are used for aName
, these values will be interned to a'static str
.
- The
thiserror
dependency is now only brought in with theparser
crate feature. - Use string interning to reduce the number of allocations required for
Name
types.
0.0.5 - 2023-05-05
- Added
TryInto<PreconditionGoalDefinition>
forPreconditionGoalDefinitions
to get the only element of the list if it is a one-element list, orNone
. TryInto
implementations were added forCEffect
to allow deconstruction intoPEffect
,ForallCEffect
andWhenCEffect
.- Added the
Parser::from_str
method that performs aParse::parse
but discards the remaining unparsed text.
- The
PrefConGD::And
variant was removed and replaced with thePrefConGDs
type. - The
Effect::All
andEffect::Single
variants were removed and theEffect
type was changed to a struct wrapping a vectorEffects
. - The
CEffect
variants were changed to wrapForallCEffect
andWhenCEffect
types. - The parser now uses nom-greedyerror and nom_locate to improve error handling.
- The
Parser
trait now takes anT: Into<Span<'a>>
argument. - All parser methods now take an
T: Into<Span<'a>>
argument.
- Fixed an issue where
(and ...)
conditional effects would be accidentally parsed into an atomic formula with predicateand
.
0.0.4 - 2023-05-04
- Added
IntoIterator
implementations forConditionalEffect
,DurationConstraint
andEffect
that flatten theSingle
andAll
variants into a single iterator. In all these cases, the(and ...)
representation allows for a cardinality of zero, one or many, which makesx
and(and x)
identical. - Added
From<AtomicFormula<T>>
forLiteral<T>
.
- The
PreGD
type was renamed toPreconditionGoalDefinition
. - The
PreconditionGoalDefinition::And
variant was removed and replaced with thePreconditionGoalDefinitions
type.
0.0.3 - 2023-05-03
- The
nom
dependency is now an implicit feature used by theparser
crate feature.
0.0.2 - 2023-04-24
- Added
Parser
trait.
- Made
types
module private and re-exported all types top-level.
0.0.1 - 2023-04-23
- Minor usability adjustments such as added accessors for internal state of structs.
0.0.0 - 2023-04-23
- 🎉 Initial release.