mirror of
https://github.com/RAIRLab/Spectra.git
synced 2025-11-02 23:01:20 +00:00
14 lines
311 B
Java
14 lines
311 B
Java
package org.rairlab.planner.utils;
|
|
|
|
import org.rairlab.shadow.prover.representations.formula.Formula;
|
|
|
|
import java.util.Optional;
|
|
import java.util.Set;
|
|
|
|
/**
|
|
* Created by naveensundarg on 1/26/17.
|
|
*/
|
|
public interface ProceduralAttachment {
|
|
|
|
Optional<Boolean> satisfies(Set<Formula> base, Formula goal);
|
|
}
|