Package org.tweetyproject.arg.dung.examples

Class EquivalenceCompExFinderExample

java.lang.Object

org.tweetyproject.arg.dung.examples.EquivalenceCompExFinderExample

public class EquivalenceCompExFinderExample
extends Object

This class represents a summary of examples to show the use of EquivalenceCompExFinder.

Version:

TweetyProject 1.23

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
EquivalenceCompExFinderExample()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	*description missing*
static void	saveExamples(Semantics semanticsUsed1, Semantics semanticsUsed2, Equivalence<DungTheory> equivalence1, Equivalence<DungTheory> equivalence2, String path, String idSeries, int indexInSeries, int numFstFramesGenerated, ZonedDateTime timeStampProcessStart, DungTheory framework1, DungTheory framework2, ZonedDateTime timeStampProcessFinished)	*description missing*
static void	writeComment(File f, String[] comments)	Appends a file with a set of comments

Methods inherited from class java.lang.Object

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

Constructor Details

EquivalenceCompExFinderExample

public EquivalenceCompExFinderExample()

Method Details

main

public static void main(String[] args)

*description missing*

Parameters:

args - *description missing*

saveExamples

public static void saveExamples(Semantics semanticsUsed1,
 Semantics semanticsUsed2,
 Equivalence<DungTheory> equivalence1,
 Equivalence<DungTheory> equivalence2,
 String path,
 String idSeries,
 int indexInSeries,
 int numFstFramesGenerated,
 ZonedDateTime timeStampProcessStart,
 DungTheory framework1,
 DungTheory framework2,
 ZonedDateTime timeStampProcessFinished)

*description missing*

Parameters:

semanticsUsed1 - *description missing*

semanticsUsed2 - *description missing*

equivalence1 - *description missing*

equivalence2 - *description missing*

path - *description missing*

idSeries - *description missing*

indexInSeries - *description missing*

numFstFramesGenerated - *description missing*

timeStampProcessStart - *description missing*

framework1 - *description missing*

framework2 - *description missing*

timeStampProcessFinished - *description missing*

writeComment

public static void writeComment(File f,
 String[] comments)
                         throws IOException

Appends a file with a set of comments

Parameters:

f - *description missing*

comments - *description missing*

Throws:

IOException - *description missing*