Uses of Package
org.tweetyproject.commons
Package
Description
-
-
ClassDescriptionA formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionA formula is a basic language construct.This class models a signature as four sets of formulas.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionAn abstract interpretation for some logical language.This class captures an abstract knowledge base, i.e.This class models a belief set, i.e.An interpretation for some logical language.
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionA formula is a basic language construct.enum fr InferenceInstances 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.
-
ClassDescriptionAn abstract interpretation for some logical language.A formula is a basic language construct.An interpretation for some logical language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionenum fr InferenceThe 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.
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionThe 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.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionA formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionThe general interface for objects that are able to query a belief base with some formula.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.
-
-
ClassDescriptionA formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionenum fr InferenceInstances 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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.This class models a signature as a set of formulas.
-
ClassDescriptionClasses implementing this interface are able to enumerate belief sets.This class models an abstract parser for belief bases and formulas.
-
ClassDescriptionThe 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.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionenum fr InferenceThe 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.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A signatures lists the atomic language structures for some language.
-
ClassDescriptionInstances of this interface model reasoners that determine the (selected) models for a given set of formulas.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.
-
ClassDescriptionThe 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.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.
-
ClassDescriptionClasses implementing this interface are able to enumerate belief sets.This abstract class models a random sampler for belief sets.This abstract class models a sampler for formulas.A signatures lists the atomic language structures for some language.
-
ClassDescriptionenum fr InferenceInstances 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.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.This class models a signature as a set of formulas.
-
ClassDescriptionInstances 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 a degree (double value) of its acceptability.The general interface for objects that are able to query a belief base with some formula.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.
-
-
-
-
ClassDescriptionA formula is a basic language construct.Classes implementing this interface are able to provide kernels (=minimal proofs).
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionAn abstract interpretation for some logical language.This class captures an abstract knowledge base, i.e.This class models a belief set, i.e.Classes implementing this interface are able to enumerate belief sets.This class models a signature as two sets of formulas.A formula is a basic language construct.enum fr InferenceAn interpretation for some logical language.An iterator over interpretations.This class models a general exception for parsing.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.A signatures lists the atomic language structures for some language.This class models a signature as a set of formulas.This class models a signature as three sets of formulas.The possible log levels.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.An interpretation for some logical language.
-
ClassDescriptionThis class models a belief set, i.e.Classes implementing this interface are able to enumerate belief sets.A formula is a basic language construct.
-
-
-
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionInstances 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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.An interpretation for some logical language.An iterator over interpretations.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionThe 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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.This class models a signature as three sets of formulas.
-
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionA formula is a basic language construct.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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.This class models a signature as four sets of formulas.A signatures lists the atomic language structures for some language.
-
-
-
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionA formula is a basic language construct.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.
-
ClassDescriptionAn abstract interpretation for some logical language.A formula is a basic language construct.An interpretation for some logical language.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class models a general exception for parsing.This class represents an abstract writer for writing objects into the file system.
-
-
ClassDescriptionThe 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.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis 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 general exception for parsing.
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionInstances 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 a degree (double value) of its acceptability.The general interface for objects that are able to query a belief base with some formula.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.A signatures lists the atomic language structures for some language.
-
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionClasses implementing this interface are able to provide kernels (=minimal proofs).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.
-
ClassDescriptionThis class models a belief set, i.e.An interpretation for some logical language.
-
ClassDescriptionAn abstract interpretation for some logical language.A formula is a basic language construct.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.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.This class models a signature as a set of formulas.
-
-
ClassDescriptionClasses implementing this interface are able to enumerate belief sets.This abstract class models a random sampler for belief sets.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class represents an abstract writer for writing objects into the file system.
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionThis class models a belief set, i.e.Classes implementing this interface are able to provide kernels (=minimal proofs).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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
-
-
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionInstances 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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionA formula is a basic language construct.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
ClassDescriptionenum fr InferenceInstances 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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionThis class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.
-
-
-
ClassDescriptionInstances 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 a degree (double value) of its acceptability.The general interface for objects that are able to query a belief base with some formula.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.This class models a belief set, i.e.A formula is a basic language construct.A signatures lists the atomic language structures for some language.
-
ClassDescriptionThis class represents an abstract writer for writing objects into the file system.
-
-
ClassDescriptionAn abstract interpretation for some logical language.A formula is a basic language construct.An interpretation for some logical language.An iterator over interpretations.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionAn abstract interpretation for some logical language.A formula is a basic language construct.An interpretation for some logical language.An iterator over interpretations.This class models an abstract parser for belief bases and formulas.This class models a general exception for parsing.A signatures lists the atomic language structures for some language.
-
-
ClassDescriptionenum fr InferenceInstances 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.
-
ClassDescriptionAn abstract interpretation for some logical language.An interpretation for some logical language.This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.
-
ClassDescriptionThis class captures an abstract knowledge base, i.e.A formula is a basic language construct.
-