ai.libs.jaicore.logic.fol.theories

Interface EvaluablePredicate

All Known Implementing Classes:

ContainsPredicate, NotEmptyPredicate, OneItemPredicate, PartitionPredicate

public interface EvaluablePredicate

Method Summary

Modifier and Type	Method and Description
java.util.Collection<java.util.List<ConstantParam>>	getParamsForNegativeEvaluation(Monom state, ConstantParam... partialGrounding)
java.util.Collection<java.util.List<ConstantParam>>	getParamsForPositiveEvaluation(Monom state, ConstantParam... partialGrounding)
boolean	isOracable()
boolean	test(Monom state, ConstantParam... params)

Method Detail

getParamsForPositiveEvaluation

java.util.Collection<java.util.List<ConstantParam>> getParamsForPositiveEvaluation(Monom state,
                                                                                   ConstantParam... partialGrounding)

isOracable

boolean isOracable()

getParamsForNegativeEvaluation

java.util.Collection<java.util.List<ConstantParam>> getParamsForNegativeEvaluation(Monom state,
                                                                                   ConstantParam... partialGrounding)

test

boolean test(Monom state,
             ConstantParam... params)