PredicateLogicParser

java.lang.Object

edu.uky.ai.io.Parser

edu.uky.ai.logic.io.LogicParser

edu.uky.ai.logic.io.PredicateLogicParser

All Implemented Interfaces:: Cloneable

Direct Known Subclasses:: PlanningParser

public class PredicateLogicParser extends LogicParser

A parser for predicate logic, which expects all Atoms to be Predications.

Author:: Stephen G. Ware

Constructor Summary

Constructors

Constructor

Description

PredicateLogicParser()

Constructs a new parser with rules for parsing predicate logic formulas.
Method Summary

Methods inherited from class edu.uky.ai.io.Parser
clone, getDefined, getParser, parse, parse, parse, requireDefined, setDefined, setParser

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

Constructor Details
- PredicateLogicParser
  
  public PredicateLogicParser()
  
  Constructs a new parser with rules for parsing predicate logic formulas.