Class CNF

java.lang.Object
  CNF

public class CNF
extends java.lang.Object

Constructor Summary

CNF()

CNF(java.lang.String a, int n, boolean b, java.util.Vector[][] r)

Method Summary

void	addTypeOne(int n, char t)
void	addTypeOneDialog()
void	addTypeZero(int n, int i, int j)
void	addTypeZeroDialog()
void	constructC1()
void	constructC2()
void	constructC3()
void	constructC4()
void	constructC5()
int	constructorMenu()
java.util.Vector	getLanguage(int maxSteps)
java.util.Vector	getLanguageUnambiguous(int maxSteps)
boolean	isValidVariable(int i)
static void	main(java.lang.String[] args)
void	menuHandler(int choice)
void	predefinedDialog()
void	printCNF()
void	printLanguage(java.util.Vector v, boolean printDeriv)
void	printLanguageDialog()
void	printRules()
java.lang.String	queryAlphabet()
boolean	queryAmbiguous()
int	queryNumVars()
boolean	queryPredefined()
void	removeTypeOne(int n, char t)
void	removeTypeOneDialog()
void	removeTypeZero(int n, int i, int j)
void	removeTypeZeroDialog()
void	ruleChangeDialog()
StringVarTerm	testString(java.lang.String s)
void	testStringDialog()

Methods inherited from class java.lang.Object

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

Constructor Detail

CNF

public CNF()

CNF

public CNF(java.lang.String a,
           int n,
           boolean b,
           java.util.Vector[][] r)

Method Detail

queryPredefined

public boolean queryPredefined()

predefinedDialog

public void predefinedDialog()

queryAlphabet

public java.lang.String queryAlphabet()

queryNumVars

public int queryNumVars()

queryAmbiguous

public boolean queryAmbiguous()

constructorMenu

public int constructorMenu()

menuHandler

public void menuHandler(int choice)

ruleChangeDialog

public void ruleChangeDialog()

addTypeZeroDialog

public void addTypeZeroDialog()

addTypeOneDialog

public void addTypeOneDialog()

removeTypeZeroDialog

public void removeTypeZeroDialog()

removeTypeOneDialog

public void removeTypeOneDialog()

printLanguageDialog

public void printLanguageDialog()

testStringDialog

public void testStringDialog()

printCNF

public void printCNF()

printRules

public void printRules()

printLanguage

public void printLanguage(java.util.Vector v,
                          boolean printDeriv)

addTypeZero

public void addTypeZero(int n,
                        int i,
                        int j)

addTypeOne

public void addTypeOne(int n,
                       char t)

removeTypeZero

public void removeTypeZero(int n,
                           int i,
                           int j)

removeTypeOne

public void removeTypeOne(int n,
                          char t)

isValidVariable

public boolean isValidVariable(int i)

getLanguage

public java.util.Vector getLanguage(int maxSteps)

getLanguageUnambiguous

public java.util.Vector getLanguageUnambiguous(int maxSteps)

testString

public StringVarTerm testString(java.lang.String s)

constructC1

public void constructC1()

constructC2

public void constructC2()

constructC3

public void constructC3()

constructC4

public void constructC4()

constructC5

public void constructC5()

main

public static void main(java.lang.String[] args)