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
All Classes All Packages
F
- f - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
- 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) - Static 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.encodings.SatEncodingContext
- 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
- fes(Extension) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgSystem
-
The characteristic function of an abstract argumentation framework: F_ES(S) = {A|A is acceptable wrt.
- 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.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
- FIX_PARTIAL - Static variable in class net.sf.tweety.arg.adf.reasoner.generator.SatGroundGenerator
- FIX_PARTIAL_ENCODING - Static variable in class net.sf.tweety.arg.adf.reasoner.verifier.SatCompleteVerifier
- fixed(long, int) - Static method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
- FixPartialSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.encodings
-
Fixes the already assigned true/false values.
- FixPartialSatEncoding() - Constructor for class net.sf.tweety.arg.adf.reasoner.encodings.FixPartialSatEncoding
- FixPartialTransform - Class in net.sf.tweety.arg.adf.transform
-
Syntactically rewrites the acceptance condition s.t.
- FixPartialTransform(Interpretation) - Constructor for class net.sf.tweety.arg.adf.transform.FixPartialTransform
- FlatAbaReasoner<T extends Formula> - Class in net.sf.tweety.arg.aba.reasoner
-
This class models a reasoner over ABA formulae.
- 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) - Static 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
- FolParserTest() - Method in class net.sf.tweety.arg.aba.AbaTest
- 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.
- forall_quantified_variables - Variable in class net.sf.tweety.logics.qbf.parser.QCirParser
-
Keeps track of universally quantified variables.
- ForallQuantifiedFormula - Class in net.sf.tweety.logics.fol.syntax
-
For-All-quantified first-order logic formula.
- ForallQuantifiedFormula - Class in net.sf.tweety.logics.qbf.syntax
-
This class represents universal quantification for boolean formulas.
- 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
- ForallQuantifiedFormula(PlFormula, Set<Proposition>) - Constructor for class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
-
Create a new universal boolean quantification.
- ForallQuantifiedFormula(PlFormula, Proposition) - Constructor for class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
-
Create a new universal boolean quantification.
- ForallQuantifiedFormula(ForallQuantifiedFormula) - Constructor for class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
-
Create a new existential boolean quantification.
- 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) - Static 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) - Static 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, Measuring Inconsistency with Many-Valued Logics.- 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
All Classes All Packages