PropositionalLogicParser

java.lang.Object

edu.uky.ai.io.Parser

edu.uky.ai.logic.io.LogicParser

edu.uky.ai.logic.io.PropositionalLogicParser

All Implemented Interfaces:: Cloneable

public class PropositionalLogicParser extends LogicParser

A parser for propositional logic, which expects all Atoms to be AtomicPropositions.

Author:: Stephen G. Ware

Constructor Summary

Constructors

Constructor

Description

PropositionalLogicParser()

Constructs a new parser with rules for parsing propositional 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
- PropositionalLogicParser
  
  public PropositionalLogicParser()
  
  Constructs a new parser with rules for parsing propositional logic formulas.