A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages

F

f - Variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator

The function that is maximized on the set of probabilistic extensions with minimal distance.

f - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent

f - Variable in class net.sf.tweety.math.term.FloatConstant

the actual float.

factInstantiation() - Method in class net.sf.tweety.arg.delp.TestRules

faction - Variable in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent

The faction of the agent.

faction - Variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction

The faction of this utility function

faction - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator

The faction of the agents to be generated

factor - Variable in class net.sf.tweety.math.func.SmoothingFunction

The smoothing factor.

Factory() - Constructor for enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory

facts - Variable in class net.sf.tweety.logics.rdl.syntax.DefaultTheory

The set of facts (first-order formulas).

faculty(int) - Static method in class net.sf.tweety.commons.util.MathTools

Computes the faculty of the given number.

faf(Extension) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory

The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.

failed(long, int) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver

FALSE - net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue

falses - Variable in class net.sf.tweety.arg.adf.reasoner.SatEncoding

falsifies(PossibleWorld, Conditional) - Static method in class net.sf.tweety.logics.cl.semantics.RankingFunction

Checks whether the given possible world w falsifies the given conditional (B|A), i.e.

falsifyingWorlds - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure

fastEvaluation - Variable in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder

if this flag is true the building of the kappa minimas breaks at the first zero

FATAL - net.sf.tweety.commons.TweetyConfiguration.LogLevel

FB - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure

FbInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis

Implements the forgetting-based inconsistency measure from [Besnard.

FbInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.FbInconsistencyMeasure

FbInconsistencyMeasureTest - Class in net.sf.tweety.logics.pl.test

Some examples from [Besnard.

FbInconsistencyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest

fields - Variable in class net.sf.tweety.plugin.PluginOutput

file - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener

The file where the results are stored.

file_reader - Variable in class net.sf.tweety.logics.pl.util.TextfileIterator

For reading the file

FileDungTheoryGenerator - Class in net.sf.tweety.arg.dung.util

This generator receives a list of files containing Dung theories and returns those step by step.

FileDungTheoryGenerator(File[], Parser<DungTheory, ?>, boolean) - Constructor for class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator

Creates a new theory generator for the given files, which can be parsed by the given parser.

FileFormat - Enum in net.sf.tweety.arg.dung.parser

This enum lists all supported file formats.

FileFormat(String, String) - Constructor for enum net.sf.tweety.arg.dung.parser.FileFormat

Creates a new FileFormat

fileHandler - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter

the default file handler cannot load any files and has to be replaced

fileHandler - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter

the default file handler cannot load any files and has to be replaced

FileListCommandParameter - Class in net.sf.tweety.plugin.parameter

This parameter holds a file-list of possible arguments

FileListCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.FileListCommandParameter

Creates a new file list command parameter

files - Variable in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator

The files containing Dung theories.

files - Variable in class net.sf.tweety.logics.pl.test.SimpleDpllSolverTest

files - Variable in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest

FillBuff() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

FillBuff() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

FillBuff() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

FillBuff() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

FillBuff() - Method in class net.sf.tweety.preferences.io.SimpleCharStream

filter(ArrayList<PlFormula>, ClBeliefSet) - Method in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner

filter(ContainerRequestContext, ContainerResponseContext) - Method in class net.sf.tweety.web.CorsResponseFilter

fireEvent(UpdateEvent<T>) - Method in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator

Fires an event every time a change occurred

fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure

fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure

This method is called by inconsistency measurement processes to dispatch an event about inconsistency measurement starts to listeners.

fireInconsistencyUpdateEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure

fireInconsistencyUpdateEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure

This method is called by inconsistency measurement processes to dispatch events to listeners.

first - Variable in class net.sf.tweety.action.grounding.VarsNeqRequirement

first - Variable in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.BinaryNode

first - Variable in class net.sf.tweety.arg.adf.syntax.ConjunctionAcceptanceCondition

first - Variable in class net.sf.tweety.arg.adf.syntax.DisjunctionAcceptanceCondition

first - Variable in class net.sf.tweety.arg.adf.syntax.EquivalenceAcceptanceCondition

first - Variable in class net.sf.tweety.arg.adf.syntax.ExclusiveDisjunctionAcceptanceCondition

first - Variable in class net.sf.tweety.arg.adf.syntax.ImplicationAcceptanceCondition

first - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser.JJCalls

first - Variable in class net.sf.tweety.math.term.Difference

The two terms of the difference

FIRST_OPTIMIZATION_WEIGHT - Static variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator

Optimizations carried out by ancestors of this class perform a two-level optimization.

firstLevel(DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.Compilation

This method returns the compilation nodes that can be used to construct undercuts to the given argument.

FirstOrderLogicPlugin - Class in net.sf.tweety.logics.fol.plugin

This class models the plugin for first order logics used in the tweety cli Note: Currently FOL-files MUST BE named after the pattern "*.fologic" Very early state, not finished or debugged yet.

FirstOrderLogicPlugin() - Constructor for class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

actually used constructor, initializes start parameters for this plugin

FirstOrderLogicPlugin(String[]) - Constructor for class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

non-empty constructor in case of problems concerning jspf

firstSet - Variable in class net.sf.tweety.commons.DualSetSignature

The first set of formulas of this signature.

firstSet - Variable in class net.sf.tweety.commons.QuadrupleSetSignature

The first set of formulas in this signature.

firstSet - Variable in class net.sf.tweety.commons.TripleSetSignature

The first set of formulas of this signature.

FitnessComparator(Term) - Constructor for class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver.FitnessComparator

fixed(long, int) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver

FlatABAReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner

FlatABAReasoner(Semantics) - Constructor for class net.sf.tweety.arg.aba.reasoner.FlatABAReasoner

Creates a new instance

FloatConstant - Class in net.sf.tweety.math.term

This class encapsulates a float as a term.

FloatConstant(double) - Constructor for class net.sf.tweety.math.term.FloatConstant

Creates a new Float.

FloatConstant(float) - Constructor for class net.sf.tweety.math.term.FloatConstant

Creates a new Float.

floatValue() - Method in class net.sf.tweety.math.ComplexNumber

floatValue() - Method in class net.sf.tweety.math.probability.Probability

FloatVariable - Class in net.sf.tweety.math.term

This class models an float variable as a mathematical term.

FloatVariable(String) - Constructor for class net.sf.tweety.math.term.FloatVariable

Creates a new variable with the given name.

FloatVariable(String, boolean) - Constructor for class net.sf.tweety.math.term.FloatVariable

Creates a new variable with the given name.

FloatVariable(String, double, double) - Constructor for class net.sf.tweety.math.term.FloatVariable

Creates a new variable with the given name and bounds.

FluentName - Interface in net.sf.tweety.action.signature

A basic interface representing a fluent name.

fluents - Variable in class net.sf.tweety.action.transitionsystem.State

flushCache(long) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver

focalElement - Variable in class net.sf.tweety.agents.dialogues.structured.IndicatorUtilityFunction

The focal element of this function.

focalElement - Variable in class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent

The focal element of this agent.

focalSet - Variable in class net.sf.tweety.agents.dialogues.structured.CountingUtilityFunction

The focal set of this function.

focalSet - Variable in class net.sf.tweety.agents.dialogues.structured.MultipleIndicatorUtilityFunction

The focal set of this function.

FOL_FLIES_TINA - Static variable in class net.sf.tweety.arg.delp.TestArguments

FOL_NOT_FLIES_TINA - Static variable in class net.sf.tweety.arg.delp.TestArguments

fol2pl - Variable in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator

FolAction - Class in net.sf.tweety.action.signature

An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'.

FolAction() - Constructor for class net.sf.tweety.action.signature.FolAction

Creates a new action, which maps all action names to false.

FolAction(Set<FolAtom>) - Constructor for class net.sf.tweety.action.signature.FolAction

Creates a new action, which maps the given action names to true, and every thing else to false.

FolActionName - Class in net.sf.tweety.action.signature

This class represents an action name.

FolActionName(String) - Constructor for class net.sf.tweety.action.signature.FolActionName

Creates a new action name predicate with the given name and zero-arity.

FolActionName(String, int) - Constructor for class net.sf.tweety.action.signature.FolActionName

Creates a new actionname predicate with the given name and arity.

FolActionName(String, List<Sort>) - Constructor for class net.sf.tweety.action.signature.FolActionName

Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.

FolAtom - Class in net.sf.tweety.logics.fol.syntax

An atom in first-order logic, i.e.

FolAtom() - Constructor for class net.sf.tweety.logics.fol.syntax.FolAtom

Default-Ctor: Creates new empty FOL-Atom

FolAtom(Predicate) - Constructor for class net.sf.tweety.logics.fol.syntax.FolAtom

Creates a new atom with the given predicate and initializes an empty argument list.

FolAtom(Predicate, List<? extends Term<?>>) - Constructor for class net.sf.tweety.logics.fol.syntax.FolAtom

Creates a new atom with the given predicate and list of terms

FolAtom(Predicate, Term<?>...) - Constructor for class net.sf.tweety.logics.fol.syntax.FolAtom

FolAtom(FolAtom) - Constructor for class net.sf.tweety.logics.fol.syntax.FolAtom

FolBeliefSet - Class in net.sf.tweety.logics.fol.syntax

This class models a first-order knowledge base, i.e.

FolBeliefSet() - Constructor for class net.sf.tweety.logics.fol.syntax.FolBeliefSet

Creates a new and empty first-order knowledge base.

FolBeliefSet(Collection<FolFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.FolBeliefSet

Creates a new first-order knowledge base with the given set of formulas.

fold - Variable in class net.sf.tweety.machinelearning.CrossValidator

The number of partitions for cross-validation.

FolExample - Class in net.sf.tweety.logics.fol.examples

Some examples for using FolParser and provers.

FolExample() - Constructor for class net.sf.tweety.logics.fol.examples.FolExample

folfg - Variable in class net.sf.tweety.arg.aspic.AspicTest

FolFluentName - Class in net.sf.tweety.action.signature

This class represents a fluent name.

FolFluentName(String) - Constructor for class net.sf.tweety.action.signature.FolFluentName

Creates a new folfluentname predicate with the given name and zero-arity.

FolFluentName(String, int) - Constructor for class net.sf.tweety.action.signature.FolFluentName

Creates a new folfluentname with the given name and arity.

FolFluentName(String, List<Sort>) - Constructor for class net.sf.tweety.action.signature.FolFluentName

Creates a new fluentname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.

folFormula - Variable in class net.sf.tweety.logics.fol.syntax.Negation

FolFormula - Class in net.sf.tweety.logics.fol.syntax

The common abstract class for formulas of first-order logic.

FolFormula() - Constructor for class net.sf.tweety.logics.fol.syntax.FolFormula

FolFormulaGenerator - Class in net.sf.tweety.arg.aspic.ruleformulagenerator

FolFormulaGenerator() - Constructor for class net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator

FOLOGIC__CALL_PARAMETER - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

FOLOGIC__QUERY_DESCRIPTION - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

FOLOGIC__QUERY_IDENTIFIER - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

FOLOGIC__REASONER_DESCRIPTION - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

FOLOGIC__REASONER_IDENTIFIER - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

FOLOGIC__REASONER_SOLVERENUM - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin

folparser - Variable in class net.sf.tweety.logics.ml.parser.MlParser

First-order logic parser used for parsing sorts and type declaration.

folparser - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser

parser to parse knowledge base

folParser - Variable in class net.sf.tweety.logics.rcl.parser.RclParser

For parsing FOL fragments.

folParser - Variable in class net.sf.tweety.logics.rpcl.parser.RpclParser

For parsing FOL fragments.

folParser - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin

FolParser - Class in net.sf.tweety.logics.fol.parser

This class implements a parser for first-order logic.

FolParser() - Constructor for class net.sf.tweety.logics.fol.parser.FolParser

Creates a new FolParser

FolParser(boolean) - Constructor for class net.sf.tweety.logics.fol.parser.FolParser

Creates a new FolParser

FolParserTest - Class in net.sf.tweety.logics.fol.test

JUnit Test class for FolParser.

FolParserTest() - Constructor for class net.sf.tweety.logics.fol.test.FolParserTest

FOLPropTranslator - Class in net.sf.tweety.logics.translators.folprop

A Translator between the FOL and propositonal logic and vice versa.

FOLPropTranslator() - Constructor for class net.sf.tweety.logics.translators.folprop.FOLPropTranslator

Default-Ctor

FolReasoner - Class in net.sf.tweety.logics.fol.reasoner

Abstract FOL Prover to be implemented by concrete solvers

FolReasoner() - Constructor for class net.sf.tweety.logics.fol.reasoner.FolReasoner

FolSignature - Class in net.sf.tweety.logics.fol.syntax

This class captures the signature of a specific first-order language.

FolSignature() - Constructor for class net.sf.tweety.logics.fol.syntax.FolSignature

Creates an empty signature

FolSignature(boolean) - Constructor for class net.sf.tweety.logics.fol.syntax.FolSignature

Creates an empty signature or an otherwise empty signature with equality.

FolSignature(Collection<?>) - Constructor for class net.sf.tweety.logics.fol.syntax.FolSignature

Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas).

FolSignature(Collection<?>, boolean) - Constructor for class net.sf.tweety.logics.fol.syntax.FolSignature

Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas) and, if desired, equality.

FolWriter - Interface in net.sf.tweety.logics.fol.writer

Prints out single first-order logic formulas and full knowledge bases.

ForallQuantifiedFormula - Class in net.sf.tweety.logics.fol.syntax

For-All-quantified first-order logic formula.

ForallQuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula

Creates a new quantified folFormula with the given folFormula and variables.

ForallQuantifiedFormula(RelationalFormula, Variable) - Constructor for class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula

Creates a new quantified folFormula with the given folFormula and variable.

ForallQuantifiedFormula(ForallQuantifiedFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula

FORALLQUANTIFIER() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols

forceStrictness(Set<PlFormula>) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction

Sets the rank of every interpretation i that does not satisfy the given set of formulas to RankingFunction.INFINITY.

Format(String, String) - Constructor for enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format

formula - Variable in class net.sf.tweety.action.query.syntax.QueryProposition

formula - Variable in class net.sf.tweety.action.query.syntax.SActionQuery

formula - Variable in class net.sf.tweety.arg.aba.syntax.Negation

not =

formula - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation

The formula within this negation.

formula - Variable in class net.sf.tweety.beliefdynamics.mas.InformationObject

The formula of this information object

formula - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess.UpdateCallee

formula - Variable in class net.sf.tweety.logics.dl.syntax.Complement

The negated formula.

formula - Variable in class net.sf.tweety.logics.ml.syntax.MlFormula

The inner formula of this modal formula

formula - Variable in class net.sf.tweety.logics.mln.syntax.MlnFormula

the first-order formula.

formula - Variable in class net.sf.tweety.logics.pl.syntax.Negation

The formula within this negation.

Formula - Interface in net.sf.tweety.commons

A formula is a basic language construct.

Formula(FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser

formula2String(PlFormula, Map<Proposition, Integer>) - Static method in class net.sf.tweety.logics.pl.util.CanonicalIterator

Encodes the given formula as a bitstring.

formulaLength - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator

the maximal length of each formula (each proposition, negation, conjunction, and disjunction counts one).

formulaNames - Variable in class net.sf.tweety.logics.fol.parser.TPTPParser

Regular expression that restricts which formulas will be parsed.

formulaparser - Variable in class net.sf.tweety.arg.aba.parser.ABAParser

Used to parse formulae

formulaparser - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser

Used to parse formulae

formulaparser - Variable in class net.sf.tweety.arg.deductive.parser.SimplePlLogicParser

formulaRoles - Variable in class net.sf.tweety.logics.fol.parser.TPTPParser

Regular expression that restricts which formulas will be parsed.

formulas - Variable in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer

The information objects that hold the information which agents uttered the formulas.

formulas - Variable in class net.sf.tweety.commons.BeliefSet

The set of formulas of this belief base.

formulas - Variable in class net.sf.tweety.commons.InterpretationSet

The set of formulas of this interpretation.

formulas - Variable in class net.sf.tweety.commons.SingleSetSignature

The set of formulas that represents this signature.

formulas - Variable in class net.sf.tweety.commons.streams.DefaultFormulaStream

The collection of formulas.

formulas - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess

the current window of formulas

formulas - Variable in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport

the set of formulas

formulas - Variable in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction

The role and the concept that is being restricted by it.

formulas - Variable in class net.sf.tweety.logics.dl.syntax.UniversalRestriction

The role and the concept that is being restricted by it.

formulas - Variable in class net.sf.tweety.logics.fol.syntax.Equivalence

The pair of formulas that are part of the equivalence.

formulas - Variable in class net.sf.tweety.logics.fol.syntax.Implication

The pair of formulas that are part of the implication.

formulas - Variable in class net.sf.tweety.logics.pl.syntax.Equivalence

The pair of formulas that are part of the equivalence.

formulas - Variable in class net.sf.tweety.logics.pl.syntax.Implication

The pair of formulas that are part of the implication.

formulas - Variable in class net.sf.tweety.logics.rdl.semantics.Extension

The formulas

FormulaSampler<T extends Formula> - Class in net.sf.tweety.commons

This abstract class models a sampler for formulas.

FormulaSampler(Signature) - Constructor for class net.sf.tweety.commons.FormulaSampler

Creates a new formula sampler for the given signature.

formulasGenerated - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator

Whether the formulas have already been generated.

FormulaStream<S extends Formula> - Interface in net.sf.tweety.commons.streams

This interface models a stream on formulas.

FoundedPASemantics - Class in net.sf.tweety.arg.prob.semantics

P is founded wrt.

FoundedPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.FoundedPASemantics

fourthSet - Variable in class net.sf.tweety.commons.QuadrupleSetSignature

The fourth set of formulas in this signature.

FracAggrFunction - Class in net.sf.tweety.math.func

This is the function 1-\sum_i (1-x_i/i) used e.g in [Mu,Liu,Jin, Bell.

FracAggrFunction() - Constructor for class net.sf.tweety.math.func.FracAggrFunction

Fraction - Class in net.sf.tweety.math.term

Instances of this class represent fractions of two terms.

Fraction(Term, Term) - Constructor for class net.sf.tweety.math.term.Fraction

Creates a new fraction of the two given terms.

FractionSequenceFunction - Class in net.sf.tweety.math.func

The function 1/x.

FractionSequenceFunction() - Constructor for class net.sf.tweety.math.func.FractionSequenceFunction

frameworkSize - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest

frameworkSize - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest

FREEFORMULADILUTION - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate

The FREEFORMULADILUTION postulate

FREEFORMULAINDEPENDENCE - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate

The FREEFORMULAINDEPENDENCE postulate

freeze(long, int) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver

from - Variable in class net.sf.tweety.action.transitionsystem.Transition

from - Variable in class net.sf.tweety.arg.adf.semantics.Link

frozen(long, int) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver

ftol - Variable in class net.sf.tweety.math.opt.OpenOptRootFinder

ftol - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver

fullString() - Method in class net.sf.tweety.logics.cl.kappa.KappaValue

func - Variable in class net.sf.tweety.lp.asp.parser.ASTAggregate

func - Variable in class net.sf.tweety.lp.asp.parser.ASTAggrFunc

func - Variable in class net.sf.tweety.lp.asp.parser.ASTOptFunc

func(String) - Method in class net.sf.tweety.lp.asp.parser.ASTAggregate

func(String) - Method in class net.sf.tweety.lp.asp.parser.ASTAggrFunc

func(String) - Method in class net.sf.tweety.lp.asp.parser.ASTOptFunc

function - Variable in class net.sf.tweety.arg.adf.util.Cache

function - Variable in class net.sf.tweety.lp.asp.syntax.AggregateAtom

The aggregate function of this aggregate.

FunctionalTerm - Class in net.sf.tweety.logics.commons.syntax

A functional term in a logic language, i.e.

FunctionalTerm - Class in net.sf.tweety.math.term

Instances of this class represent a functional term on some inner term.

FunctionalTerm(FunctionalTerm) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm

FunctionalTerm(Functor) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm

Creates a new functional term with the given functor.

FunctionalTerm(Functor, List<Term<?>>) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm

Creates a new functional term with the given functor and the given list of arguments.

FunctionalTerm(Functor, Term<?>...) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm

FunctionalTerm(Term) - Constructor for class net.sf.tweety.math.term.FunctionalTerm

Creates a new functional term with the given inner term.

functions - Variable in class net.sf.tweety.arg.adf.util.PlCollectors.MapAccumulator

functions - Variable in class net.sf.tweety.math.opt.RootFinder

The (multi-dimensional) function of this root finder.

Functions<T> - Class in net.sf.tweety.preferences.ranking

An abstract class as superclass for two different ranking/leveling functions used to rank elements from preference orders

Functions() - Constructor for class net.sf.tweety.preferences.ranking.Functions

Functor - Class in net.sf.tweety.logics.commons.syntax

A functor for logic language, i.e.

Functor(String) - Constructor for class net.sf.tweety.logics.commons.syntax.Functor

Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.

Functor(String, int) - Constructor for class net.sf.tweety.logics.commons.syntax.Functor

Initializes a functor with the given name and of the given arity.

Functor(String, List<Sort>, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Functor

Initializes a functor with the given name, the given list of argument sorts, and the given target sort.

FuzzyInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis

This measure implements the approach presented in [Thimm, 2016, to appear].

FuzzyInconsistencyMeasure(TNorm) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure

Creates a new measure for the given T-norm.

FuzzyInconsistencyMeasure(TNorm, byte) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure

Creates a new measure for the given T-norm.

FuzzyInconsistencyMeasure(TNorm, TCoNorm) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure

Creates a new measure (T Version) for the given T-norm and T-conorm.

FuzzyInconsistencyMeasure(TNorm, TCoNorm, byte) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure

Creates a new measure for the given T-norm and T-conorm.

FuzzyInconsistencyMeasureTest - Class in net.sf.tweety.logics.pl.test

FuzzyInconsistencyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest

FuzzyInterpretation - Class in net.sf.tweety.logics.pl.semantics

A fuzzy interpretation for propositional logic.

FuzzyInterpretation() - Constructor for class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation

Creates a new fuzzy interpretation

FuzzyMeasureExample - Class in net.sf.tweety.logics.pl.examples

FuzzyMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.FuzzyMeasureExample

FuzzyNegation - Class in net.sf.tweety.math.func.fuzzy

Represents a fuzzy negation, i.e., a generalization of a logical negation on values in [0,1].

FuzzyNegation() - Constructor for class net.sf.tweety.math.func.fuzzy.FuzzyNegation

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages