Package org.tweetyproject.commons
package org.tweetyproject.commons
-
InterfaceDescriptionThis class captures an abstract knowledge base, i.e.Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.Classes implementing this interface are able to enumerate belief sets.A formula is a basic language construct.An interpretation for some logical language.An iterator over interpretations.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.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.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 interface contains some configuration options for Tweety.
-
ClassDescriptionAn abstract interpretation for some logical language.This class models a belief set, i.e.This abstract class models a random sampler for belief sets.DualSetSignature<T,S>This class models a signature as two sets of formulas.FormulaSampler<T extends Formula>This abstract class models a sampler for formulas.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.This class models an abstract parser for belief bases and formulas.A class for managing and displaying several plots in a single frameQuadrupleSetSignature<T,S,U,R>This class models a signature as four sets of formulas.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 class handles the global logging configuration.This class represents an abstract writer for writing objects into the file system.
-
EnumDescriptionenum fr InferenceThe possible log levels.