Package ai.libs.hasco.core.predicate

Class 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 Description
      IsRefinementCompletedPredicate​(java.util.Collection<ai.libs.jaicore.components.model.Component> components, java.util.Map<ai.libs.jaicore.components.model.Component,​java.util.Map<ai.libs.jaicore.components.model.Parameter,​ai.libs.jaicore.components.model.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)  

      • 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<ai.libs.jaicore.components.model.Component> components,
                                      java.util.Map<ai.libs.jaicore.components.model.Component,​java.util.Map<ai.libs.jaicore.components.model.Parameter,​ai.libs.jaicore.components.model.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