ai.libs.hasco.core

Class isNotRefinable

java.lang.Object

ai.libs.hasco.core.isNotRefinable

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

Constructor and Description
isNotRefinable(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

isNotRefinable

public isNotRefinable(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