tom.library.sl
Class Not

java.lang.Object
  extended by tom.library.sl.AbstractStrategy
      extended by tom.library.sl.Not
All Implemented Interfaces:
Strategy, Visitable

public class Not
extends AbstractStrategy

Not(v) succeeds if and only if v fails.


Field Summary
static int ARG
           
 
Fields inherited from class tom.library.sl.AbstractStrategy
environment, visitors
 
Constructor Summary
Not(Strategy v)
           
 
Method Summary
 int visit()
          Visits the current subject (found in the environment) and place its result in the environment.
 Visitable visitLight(Visitable x)
          Visits the subject any in a light way (without environment)
 
Methods inherited from class tom.library.sl.AbstractStrategy
accept, getChildAt, getChildCount, getChildren, getEnvironment, getRoot, getSubject, init, init, initSubterm, initSubterm, initSubterm, initSubterm, initSubterm, setChildAt, setChildren, setEnvironment, setRoot, setSubject, visit, visit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ARG

public static final int ARG
See Also:
Constant Field Values
Constructor Detail

Not

public Not(Strategy v)
Method Detail

visitLight

public Visitable visitLight(Visitable x)
                     throws VisitFailure
Description copied from interface: Strategy
Visits the subject any in a light way (without environment)

Parameters:
x - the subject to visit.
Throws:
VisitFailure - in case of failure.

visit

public int visit()
Description copied from interface: Strategy
Visits the current subject (found in the environment) and place its result in the environment. Sets the environment flag to Environment.FAILURE in case of failure