Reverse

java.lang.Object
- org.projog.core.predicate.AbstractPredicateFactory
- - org.projog.core.predicate.builtin.list.Reverse

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory
```
public final class Reverse
extends AbstractPredicateFactory
```
reverse(X,Y) - reverses the order of elements in a list.
The reverse(X,Y) goal succeeds if the elements of list X are in reverse order of the elements in list Y.

- Nested Class Summary
  
  Nested Classes
  Modifier and Type Class Description
  
  private static class Reverse.ReversePredicate
- Constructor Summary
  
  Constructors
  Constructor Description
  
  Reverse()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  protected Predicate getPredicate(Term list1, Term list2)
  - Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory
    getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface org.projog.core.predicate.PredicateFactory
    isAlwaysCutOnBacktrack

Constructor Detail
- Reverse
```
public Reverse()
```

Method Detail

getPredicate

protected Predicate getPredicate(Term list1,
                                 Term list2)

Overrides:: getPredicate in class AbstractPredicateFactory