Package net.sf.tweety.arg.adf.cli

Class CommandLineInterface

java.lang.Object

net.sf.tweety.arg.adf.cli.CommandLineInterface

public class CommandLineInterface
extends java.lang.Object

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private static KppADFFormatParser	parser
private static java.lang.String	prompt
private static java.util.Map<java.lang.String,AbstractDialecticalFrameworkReasoner>	reasonerBySemantics
private static IncrementalSatSolver	satSolver

Constructor Summary

Constructors

Constructor	Description
CommandLineInterface()

Method Summary

Modifier and Type	Method	Description
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Field Detail

satSolver

private static IncrementalSatSolver satSolver

reasonerBySemantics

private static java.util.Map<java.lang.String,AbstractDialecticalFrameworkReasoner> reasonerBySemantics

parser

private static KppADFFormatParser parser

prompt

private static final java.lang.String prompt

See Also:

Constant Field Values

Constructor Detail

CommandLineInterface

public CommandLineInterface()

Method Detail

main

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