Class BELIEVE

java.lang.Object
  |
  +--Predicate
        |
        +--BELIEVE

public class BELIEVE

extends Predicate

Inner classes inherited from class Predicate

Predicate.PossibleKeys

Field Summary

(package private) java.lang.String	em
(package private) java.lang.String	loc
(package private) Predicate	predicate
(package private) java.lang.String	target

Fields inherited from class Predicate

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

Constructor Summary

BELIEVE(java.lang.String in, Predicate pred)

Methods inherited from class Predicate

equals, getCorrespondingObject, getFirstArg, getMoreSpecificOrNull, getName, getSecondArg, getVariables, isDummyPredicate, isFullyInstantiated, isPlannable, isSameOrMoreGeneralThan, isSameOrMoreGeneralThan, isSimple, main, 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

target

java.lang.String target

predicate

Predicate predicate

loc

java.lang.String loc

em

java.lang.String em

Constructor Detail

BELIEVE

public BELIEVE(java.lang.String in,
               Predicate pred)