Class CParser


  • public class CParser
    extends Parser<CActionDescription,​Formula>
    This class implements a parser for an Action Description in C. The BNF is given by: (starting symbol is DESC)

    DESC ::== ":- signature" "\n" SIGNATURE "\n" ":- laws" "\n" LAWS
    where SIGNATURE is parsed by CSignatureParser and LAWS is parsed by CLawParser.
    Author:
    Sebastian Homann