jcama
Class PredParser

java.lang.Object
  jcama.PredParser

public class PredParser
extends java.lang.Object

Parser for bbCAMA expressions

Constructor Summary

PredParser(java.lang.String pred)

Method Summary

Pred

getPred()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PredParser

public PredParser(java.lang.String pred)
           throws BadPredicateException

Throws:

BadPredicateException

Method Detail

getPred

public Pred getPred()