ai.libs.jaicore.logic.fol.theories.set

Class OneItemPredicate

java.lang.Object

ai.libs.jaicore.logic.fol.theories.set.OneItemPredicate

All Implemented Interfaces:

EvaluablePredicate

public class OneItemPredicate
extends java.lang.Object
implements EvaluablePredicate

Constructor Summary

Constructors

Constructor and Description
OneItemPredicate()

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OneItemPredicate

public OneItemPredicate()

Method Detail

test

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

Specified by:

test in interface EvaluablePredicate

getParamsForPositiveEvaluation

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

Specified by:

getParamsForPositiveEvaluation in interface EvaluablePredicate

getParamsForNegativeEvaluation

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

Specified by:

getParamsForNegativeEvaluation in interface EvaluablePredicate

isOracable

public boolean isOracable()

Specified by:

isOracable in interface EvaluablePredicate