Class Pred

  extended by jcama.Pred

public class Pred
extends java.lang.Object

Represent a tuple matching expression (bbCAMA extension). The only way to create instances of this class is to use constructor of PredParser.

Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait