public interface OracleTaskResolver
| Modifier and Type | Method and Description |
|---|---|
java.util.Collection<java.util.List<Action>> |
getSubSolutions(ai.libs.jaicore.logic.fol.structure.Monom state,
ai.libs.jaicore.logic.fol.structure.Literal task) |
java.util.Collection<java.util.List<Action>> getSubSolutions(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.logic.fol.structure.Literal task) throws java.lang.Exception
java.lang.Exception