Skip to content

Commit

Permalink
even more getting-started tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
sdcondon committed Jun 16, 2024
1 parent c01f3bc commit 7762f99
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ using Action = SCClassicalPlanning.Action; // an unfortunate clash with System.A
// Our domain defines four predicates (essentially, facts about zero or more elements of the domain that,
// in any given state, are either true or not). As mentioned in the user guide for SCFirstOrderLogic, creating
// helper methods for your predicates, as we do below, is highly recommended.
// helper methods for your predicates, as we do below, is highly recommended to avoid repetition.
// NB #1: note that we're using OperablePredicate here. Its not required, but makes everything nice and succinct because
// it means we can use & and ! to combine them. See the SCFirstOrderLogic docs for details.
// NB #2: Also note the use of EqualityIdnetifier.Instance here to identify the equality predicate. While at present there's
Expand Down

0 comments on commit 7762f99

Please sign in to comment.