Class ACHIEVE

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

public class ACHIEVE

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

ACHIEVE(Variable var, Predicate pred)

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, 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

loc

java.lang.String loc

em

java.lang.String em

Constructor Detail

ACHIEVE

public ACHIEVE(Variable var,
               Predicate pred)