Package 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 Description IsNotRefinable(java.util.Collection<Component> components, java.util.Map<Component,java.util.Map<Parameter,ParameterRefinementConfiguration>> refinementConfiguration)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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)
-
-
-
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 interfaceai.libs.jaicore.logic.fol.theories.EvaluablePredicate
-
isOracable
public boolean isOracable()
- Specified by:
isOracable
in interfaceai.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 interfaceai.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 interfaceai.libs.jaicore.logic.fol.theories.EvaluablePredicate
-
-