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

Class NotEmptyPredicate

java.lang.Object

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

All Implemented Interfaces:

EvaluablePredicate

public class NotEmptyPredicate
extends java.lang.Object
implements EvaluablePredicate

Constructor Summary

Constructors

Constructor	Description
NotEmptyPredicate()

Method Summary

Modifier and Type	Method	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

NotEmptyPredicate

public NotEmptyPredicate()

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