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

Class ContainsPredicate

java.lang.Object

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

All Implemented Interfaces:

EvaluablePredicate

public class ContainsPredicate
extends java.lang.Object
implements EvaluablePredicate

Constructor Summary

Constructors

Constructor	Description
ContainsPredicate()

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

ContainsPredicate

public ContainsPredicate()

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