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

Class PartitionPredicate

java.lang.Object

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

All Implemented Interfaces:

EvaluablePredicate

public class PartitionPredicate
extends java.lang.Object
implements EvaluablePredicate

Constructor Summary

Constructors

Constructor	Description
PartitionPredicate()

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

PartitionPredicate

public PartitionPredicate()

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