Class KNOW

java.lang.Object
  |
  +--Predicate
        |
        +--PlannablePredicate
              |
              +--KNOW

public class KNOW

extends PlannablePredicate

Inner classes inherited from class Predicate

Predicate.PossibleKeys

Field Summary

(package private) java.lang.String	em
(package private) java.lang.String	loc

Fields inherited from class PlannablePredicate

predicate, variable

Fields inherited from class Predicate

arg1, arg2, DEBUG, em, isDummy, isPlannable, keys, loc, name, newPredicateNames, objectiveCell, plannedFor, wm

Constructor Summary

KNOW(Variable var, Predicate pred)

Method Summary

boolean	isInstantiated(Predicate p) Returns true if the variable specified by the KNOW is instantiated in the Predicate argument.
static void	main(java.lang.String[] args)

Methods inherited from class PlannablePredicate

getPredicate, getTopicVariable, getTopicVariableName

Methods inherited from class Predicate

equals, getCorrespondingObject, getFirstArg, getMoreSpecificOrNull, getName, getSecondArg, getVariables, isDummyPredicate, isFullyInstantiated, isPlannable, isSameOrMoreGeneralThan, isSameOrMoreGeneralThan, isSimple, makeDummy, removeDuplicates, store, subMakeDummy, subSameOrMoreGeneralThan, toString, verify

Methods inherited from class java.lang.Object

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

Field Detail

loc

java.lang.String loc

em

java.lang.String em

Constructor Detail

KNOW

public KNOW(Variable var,
            Predicate pred)

Method Detail

isInstantiated

public boolean isInstantiated(Predicate p)

Returns true if the variable specified by the KNOW is instantiated in the Predicate argument. Examples: (KNOW ?x (Eps ?x ?y)).isInstantiated((Eps IBM ?y)) = true (KNOW ?x (Eps ?x ?y)).isInstantiated((Eps ?y 37)) = false

main

public static void main(java.lang.String[] args)