mx.unam.iimas.griffin.grn.util

Class TruthTableParser

java.lang.Object

mx.unam.iimas.griffin.grn.util.TruthTableParser

public class TruthTableParser
extends java.lang.Object

Parser for truth tables to DNF forms

Version:

1.0

Author:

Stalin Muñoz Gutiérrez (stalinmunoz@yahoo.com)

Constructor Summary

Constructors

Constructor and Description
TruthTableParser()

Method Summary

Modifier and Type	Method and Description
static Formula	parseTable(java.lang.String table, java.util.List<Variable> inputs) Parses a table of boolean values and returns the corresponding DNF sentence
static java.util.List<Variable>	parseVariables(java.lang.String input) Parses a set of variables

Methods inherited from class java.lang.Object

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

Constructor Detail

TruthTableParser

public TruthTableParser()

Method Detail

parseTable

public static Formula parseTable(java.lang.String table,
                                 java.util.List<Variable> inputs)

Parses a table of boolean values and returns the corresponding DNF sentence

Parameters:

table - the truth table

inputs - a list with the propositional variables in the same order as the entries in the truth table

Returns:

the DNF tree formula

parseVariables

public static java.util.List<Variable> parseVariables(java.lang.String input)

Parses a set of variables

Parameters:

input - the input to parse

Returns:

the list of variables