mirror of
https://github.com/RAIRLab/Spectra.git
synced 2024-11-23 01:16:30 -05:00
Adjusting notes
This commit is contained in:
parent
48971ad770
commit
7bbf1b16fd
1 changed files with 2 additions and 2 deletions
|
@ -22,8 +22,8 @@ import java.util.Optional;
|
|||
* I think in this case, we keep it as free variables.
|
||||
* (Gotta make sure it's fresh and distinct wrt to the other formulae)
|
||||
*
|
||||
* Then for the goal condition check we see if the two
|
||||
* formulas "unify" with each other...
|
||||
* Then for the goal condition check we see if the the
|
||||
* state one-side matches with the goal.
|
||||
*/
|
||||
public class DeletePrecondRelax {
|
||||
|
||||
|
|
Loading…
Reference in a new issue