ai.libs.hasco.core

Class IsRefinementCompletedPredicate

java.lang.Object

ai.libs.hasco.core.IsRefinementCompletedPredicate

All Implemented Interfaces:

ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

public class IsRefinementCompletedPredicate
extends java.lang.Object
implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

Constructor Summary

Constructors

Constructor and Description
IsRefinementCompletedPredicate(java.util.Collection<Component> components, java.util.Map<Component,java.util.Map<Parameter,ParameterRefinementConfiguration>> refinementConfiguration)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

IsRefinementCompletedPredicate

public IsRefinementCompletedPredicate(java.util.Collection<Component> components,
                                      java.util.Map<Component,java.util.Map<Parameter,ParameterRefinementConfiguration>> refinementConfiguration)

Method Detail

getParamsForPositiveEvaluation

public java.util.Collection<java.util.List<ai.libs.jaicore.logic.fol.structure.ConstantParam>> getParamsForPositiveEvaluation(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                                                              ai.libs.jaicore.logic.fol.structure.ConstantParam... partialGrounding)

Specified by:

getParamsForPositiveEvaluation in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

isOracable

public boolean isOracable()

Specified by:

isOracable in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

getParamsForNegativeEvaluation

public java.util.Collection<java.util.List<ai.libs.jaicore.logic.fol.structure.ConstantParam>> getParamsForNegativeEvaluation(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                                                              ai.libs.jaicore.logic.fol.structure.ConstantParam... partialGrounding)

Specified by:

getParamsForNegativeEvaluation in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate

test

public boolean test(ai.libs.jaicore.logic.fol.structure.Monom state,
                    ai.libs.jaicore.logic.fol.structure.ConstantParam... params)

Specified by:

test in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate