Class KppADFFormatParser

java.lang.Object
org.tweetyproject.arg.adf.io.KppADFFormatParser

public final class KppADFFormatParser extends Object
A parser for the input format described at https://www.cs.helsinki.fi/group/coreo/k++adf/ Since the input format is only described informally, we assume that each argument has to be defined before it can be used in some way, e.g. 's(a). ac(a,c(v)).' is a valid input but 'ac(a,c(v)). s(a).' is not. This assumption makes error handling and reporting much easier. However, this also means that the order of the input statements matter and we are thus not fully declarative.
Author:
Mathias Hofer