public interface DynamicFactsProvider
Modifier and Type | Method and Description |
---|---|
java.util.Iterator<jason.asSemantics.Unifier> |
consult(jason.asSyntax.Literal l,
jason.asSemantics.Unifier u) |
boolean |
isRelevant(jason.asSyntax.PredicateIndicator pi) |