Univ

java.lang.Object
- org.projog.core.predicate.AbstractSingleResultPredicate
- - org.projog.core.predicate.builtin.construct.Univ

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory
```
public final class Univ
extends AbstractSingleResultPredicate
```
X=..L - "univ".
The X=..L predicate (pronounced "univ") provides a way to obtain the arguments of a structure as a list or construct a structure or atom from a list of arguments.

Constructor Summary

Constructors
Constructor Description

Univ()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`evaluate(Term arg1, Term arg2)`
`private boolean`	`isList(TermType tt)`
`private Term`	`toList(Term t)`
`private Term`	`toPredicate(Term t)`

Methods inherited from class org.projog.core.predicate.AbstractSingleResultPredicate
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, 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
- Univ
```
public Univ()
```

Method Detail

evaluate

public boolean evaluate(Term arg1,
                        Term arg2)

Overrides:: evaluate in class AbstractSingleResultPredicate

isList

private boolean isList(TermType tt)

toPredicate
```
private Term toPredicate(Term t)
```

toList
```
private Term toList(Term t)
```