public class isNotRefinable
extends java.lang.Object
implements ai.libs.jaicore.logic.fol.theories.EvaluablePredicate
| Constructor and Description |
|---|
isNotRefinable(java.util.Collection<Component> components,
java.util.Map<Component,java.util.Map<Parameter,ParameterRefinementConfiguration>> refinementConfiguration) |
| 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) |
public isNotRefinable(java.util.Collection<Component> components, java.util.Map<Component,java.util.Map<Parameter,ParameterRefinementConfiguration>> refinementConfiguration)
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)
getParamsForPositiveEvaluation in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicatepublic boolean isOracable()
isOracable in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicatepublic 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)
getParamsForNegativeEvaluation in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicatepublic boolean test(ai.libs.jaicore.logic.fol.structure.Monom state,
ai.libs.jaicore.logic.fol.structure.ConstantParam... params)
test in interface ai.libs.jaicore.logic.fol.theories.EvaluablePredicate