rules
Class Action

java.lang.Object
  rules.Formula
      rules.Lit
          rules.PLit
              rules.Action

All Implemented Interfaces:

java.lang.Cloneable

public class Action

extends PLit

Field Summary

Fields inherited from class rules.Lit

conceptPenalty, onlyleaves

Constructor Summary

Action()

Action(Action other)

Action(Pred p, Args ts, boolean pos)

Action(java.lang.String p, Lang l)

Method Summary

Lit	apply(Subs s)
boolean	differentAction(Action a)
java.lang.String	getName()
java.lang.String	toSimString()
java.lang.String	toString()

Methods inherited from class rules.PLit

actualSize, applyAll, arity, clone, contains, contradicts, equals, equals, fixType, freeVar, get, getArity, getConsts, getPred, getPreds, getTerm, getTerms, getVars, hasConsts, hasFreeVars, hasFreeVars, hasTerm, hasUnboundVars, hasUnboundVars, isTrueIn, isTyped, isTypeLit, main, matches, matchesButForArgs, mistyped, mistyped, mostSpecificType, negateClone, numOccurs, numTerms, occurs, setArgs, toFileString, toShortString, typeLitTruth, typeLitTruth, unify

Methods inherited from class rules.Lit

conceptObjects, getFuns, getLits, hashCode, isEquality, isFalseIn, isFalseIn, isInequality, isNegative, isPositive, isTrueIn, matchEquals, matchesWithType, readLit, setFunConcepts, setTruth, toSS, unify, usedConceptObjects

Methods inherited from class rules.Formula

equals, makeFormula

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Action

public Action()

Action

public Action(java.lang.String p,
              Lang l)

Action

public Action(Action other)

Action

public Action(Pred p,
              Args ts,
              boolean pos)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class PLit

toSimString

public java.lang.String toSimString()

differentAction

public boolean differentAction(Action a)

apply

public Lit apply(Subs s)

Overrides:

apply in class PLit

getName

public java.lang.String getName()

Overrides:

getName in class PLit