Package org.tweetyproject.commons

Interface TweetyConfiguration

public interface TweetyConfiguration

This interface contains some configuration options for Tweety.

Author:

Matthias Thimm

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	TweetyConfiguration.LogLevel	The possible log levels.