Package org.tweetyproject.commons
package org.tweetyproject.commons

ClassDescriptionAn abstract interpretation for some logical language.This class captures an abstract knowledge base, i.e.Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.This class models a belief set, i.e.Classes implementing this interface are able to enumerate belief sets.This abstract class models a random sampler for belief sets.DualSetSignature<T,
S> This class models a signature as two sets of formulas.A formula is a basic language construct.FormulaSampler<T extends Formula>This abstract class models a sampler for formulas.Enum constants for the two classical inference models of skeptical inference (assess a formula as true iff it is contained in every model) and credulous inference (assess a formula as true iff it is contained in some model).An interpretation for some logical language.An iterator over interpretations.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.KernelProvider<T extends Formula>Classes implementing this interface are able to provide kernels (=minimal proofs).Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.A class for managing and displaying several plots in a single frameThis class is responsible for the behavior of a plotter with multiple frames.QuadrupleSetSignature<T,S, U, R> This class models a signature as four sets of formulas.The general interface for objects that are able to query a belief base with some formula and return either TRUE or FALSE as answer.The general interface for objects that are able to query a belief base with some formula and return a degree (double value) of its acceptability.Reasoner<O,B extends BeliefBase, F extends Formula> The general interface for objects that are able to query a belief base with some formula.A signatures lists the atomic language structures for some language.This class models a signature as a set of formulas.TripleSetSignature<T,S, U> This class models a signature as three sets of formulas.This interface contains some configuration options for Tweety.The possible log levels.This class represents an abstract writer for writing objects into the file system.