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
All Classes All Packages
O
- obj - Variable in class net.sf.tweety.commons.Writer
- obj1 - Variable in class net.sf.tweety.commons.util.Pair
-
The first element of this pair
- obj1 - Variable in class net.sf.tweety.commons.util.Triple
-
The first element of this triple
- obj1 - Variable in class net.sf.tweety.preferences.Quadruple
-
The first element
- obj2 - Variable in class net.sf.tweety.commons.util.Pair
-
The second element of this pair
- obj2 - Variable in class net.sf.tweety.commons.util.Triple
-
The second element of this triple
- obj2 - Variable in class net.sf.tweety.preferences.Quadruple
-
The second element
- obj3 - Variable in class net.sf.tweety.commons.util.Triple
-
The third element of this triple
- obj3 - Variable in class net.sf.tweety.preferences.Quadruple
-
The third element
- obj4 - Variable in class net.sf.tweety.preferences.Quadruple
-
The fourth element
- Observation - Interface in net.sf.tweety.machinelearning
-
An observation is some data point which can be classified.
- OctaveSqpSolver - Class in net.sf.tweety.math.opt.solver
-
Provides a bridge to the Octave (http://www.gnu.org/software/octave/) optimization solver "sqp" which implements a successive quadratic programming solver for general non-linear optimization problems.
- OctaveSqpSolver() - Constructor for class net.sf.tweety.math.opt.solver.OctaveSqpSolver
-
Default constructor.
- OjAlgoMathUtils - Class in net.sf.tweety.math.util
-
Provides some utility functions for solving quadratic problems with ojAlgo.
- OjAlgoMathUtils() - Constructor for class net.sf.tweety.math.util.OjAlgoMathUtils
- OjAlgoPclUtils - Class in net.sf.tweety.logics.pcl.util
-
Provides some utility functions for solving Pcl specific reasoning problems with ojAlgo.
- OjAlgoPclUtils() - Constructor for class net.sf.tweety.logics.pcl.util.OjAlgoPclUtils
- oldVars2newVars - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
-
A map mapping old variables to new variables.
- omegaReduct(Interpretation) - Method in class net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
-
Computes a reduct of this ADF relative to the given interpretation s.t.
- OmegaReductTransform - Class in net.sf.tweety.arg.adf.transform
-
Replaces all unsatisfied arguments relative to a given interpretation with falsum.
- OmegaReductTransform(Interpretation) - Constructor for class net.sf.tweety.arg.adf.transform.OmegaReductTransform
- ONE - Static variable in class net.sf.tweety.math.probability.Probability
-
Constant for probability 1
- oneThreadParser - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- onlyPositive - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex
-
Whether only positive solutions are allowed.
- op - Variable in class net.sf.tweety.lp.asp.parser.ASTAriTerm
- op - Variable in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm
-
The arithmetic operator used in the arithmetic term.
- op - Variable in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
-
The comparative operator of the atom.
- op - Variable in class net.sf.tweety.preferences.update.Update
-
The second element
- op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTAriTerm
- op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTArithop
- op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTBinop
- openNodeScope(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- openopt_use_local - Static variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
Whether to use a local installation of OpenOpt.
- openopt_webservice_apikey - Static variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
The API key for using the service.
- openopt_webservice_url - Static variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
The URL of the web service.
- OpenOptRootFinder - Class in net.sf.tweety.math.opt
-
A wrapper for the open opt library.
- OpenOptRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OpenOptRootFinder
-
Creates a new root finder for the given starting point and the given (multi-dimensional) function
- OpenOptRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OpenOptRootFinder
-
Creates a new root finder for the given starting point and the given function
- OpenOptSolver - Class in net.sf.tweety.math.opt.solver
-
This class implements a wrapper for the OpenOpt optimization library.
- OpenOptSolver() - Constructor for class net.sf.tweety.math.opt.solver.OpenOptSolver
-
Creates a new solver.
- OpenOptSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.OpenOptSolver
-
Creates a new solver for the given problem.
- OpenOptWebSolver - Class in net.sf.tweety.math.opt.solver
-
Uses a web service implementation of the OpenOpt-library.
- OpenOptWebSolver() - Constructor for class net.sf.tweety.math.opt.solver.OpenOptWebSolver
- OpenWboSolver - Class in net.sf.tweety.logics.pl.sat
-
Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.
- OpenWboSolver(String) - Constructor for class net.sf.tweety.logics.pl.sat.OpenWboSolver
-
Creates a new solver based on the open-wbo executable given as a parameter.
- operation - Variable in class net.sf.tweety.preferences.io.POChanger
-
The Triple t(x,y,z) contains the element y whose value in the po x' ranking function should be overwritten with parameter z
- Operation - Enum in net.sf.tweety.preferences
-
This enumeration lists the possible Operations used by dynamic preference aggregation updates
- Operation() - Constructor for enum net.sf.tweety.preferences.Operation
- OPERATION - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
-
RegularExpression Id.
- operator - Variable in class net.sf.tweety.lp.asp.parser.ASTArithop
- operator - Variable in class net.sf.tweety.lp.asp.parser.ASTBinop
- operator - Variable in class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom
- operator(String) - Method in class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom
- oppModel - Variable in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
-
The opponent model of the agent (as there are only two agents in the system the model always refers to the other agent.
- oppModelCorrect - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T1Configuration
-
this parameter indicates whether the nested model is correct wrt.
- OptimisticPASemantics - Class in net.sf.tweety.arg.prob.semantics
-
P is optimistic wrt.
- OptimisticPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.OptimisticPASemantics
- OptimizationProblem - Class in net.sf.tweety.math.opt
-
This class models a general optimization problem.
- OptimizationProblem() - Constructor for class net.sf.tweety.math.opt.OptimizationProblem
-
Creates an empty optimization problem.
- OptimizationProblem(int) - Constructor for class net.sf.tweety.math.opt.OptimizationProblem
-
Creates an empty optimization problem of the given type.
- OptimizationRootFinder - Class in net.sf.tweety.math.opt
-
This class is the common ancestor for root finders that work with optimizers.
- OptimizationRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OptimizationRootFinder
-
Creates a new root finder for the given starting point and the given (multi-dimensional) function
- OptimizationRootFinder(Term) - Constructor for class net.sf.tweety.math.opt.OptimizationRootFinder
-
Creates a new root finder for the given function.
- OptimizationRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OptimizationRootFinder
-
Creates a new root finder for the given starting point and the given function
- optimize - Variable in class net.sf.tweety.arg.adf.transform.DefinitionalCNFTransform
- Optimize() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- OptimizeElement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- OptimizeElements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- OptimizeFunction() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- options - Static variable in class net.sf.tweety.cli.TweetyCli
-
Advanced options
- options - Variable in class net.sf.tweety.lp.asp.reasoner.ClingoSolver
-
Additional command line options for Clingo.
- options - Variable in class net.sf.tweety.lp.asp.reasoner.DLVSolver
-
Additional command line options for DLV.
- optSemantics - Variable in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics
- or(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
- or(Collection<L>) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
The OR-operation on all given arguments
- or(L, L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
The OR-operation on L in this framework
- or(AcceptanceCondition) - Method in class net.sf.tweety.arg.adf.syntax.AcceptanceCondition.Builder
- or(AcceptanceCondition...) - Method in class net.sf.tweety.arg.adf.syntax.AcceptanceCondition.Builder
- or(PriestWorld.TruthValue) - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
- OR - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- OR - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- order - Variable in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
-
An order over this system's arguments, needed for their defeat relation
- order - Variable in class net.sf.tweety.arg.rankings.semantics.LatticeArgumentRanking.LatticeComparator
-
The ranking that is associated with this comparator.
- order - Variable in class net.sf.tweety.arg.rankings.semantics.LatticeArgumentRanking
-
The actual order
- order(Set<Triple<Proposition, Integer, SpecialFormula>>) - Method in class net.sf.tweety.logics.pl.analysis.FbInconsistencyMeasure
-
Orders the substitutions in decreasing order.
- Order<T> - Class in net.sf.tweety.graphs.orders
-
This class represents an order among some objects.
- Order(Collection<T>) - Constructor for class net.sf.tweety.graphs.orders.Order
-
Creates a new order for the given set of objects.
- Order.OrderNode - Class in net.sf.tweety.graphs.orders
-
Represents an object that is ordered.
- OrderNode() - Constructor for class net.sf.tweety.graphs.orders.Order.OrderNode
- orders - Variable in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
- OrNode() - Constructor for class net.sf.tweety.arg.adf.parser.KppADFFormatParser.OrNode
- out - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
-
the out set
- OUT - net.sf.tweety.arg.dung.semantics.ArgumentStatus
- output - Variable in class net.sf.tweety.arg.saf.reasoner.OutputReasoner
-
The output of this reasoner.
- output - Variable in class net.sf.tweety.logics.qbf.parser.QCirParser
-
The name of the output gate variable of the problem.
- output - Variable in class net.sf.tweety.plugin.PluginOutput
- output_predicate_whitelist - Variable in class net.sf.tweety.lp.asp.syntax.Program
-
Optional field that can be used by some solvers.
- outputData - Variable in class net.sf.tweety.lp.asp.reasoner.ASPSolver
-
Stores the (latest) result of the solver as a String.
- OutputField - Class in net.sf.tweety.plugin
-
This class models single fields used for the PluginOutput Each field contains its description and its value, e.g.: Query: a + b || !a + !b where "Query:" is the description and "a + b || !a + !b" is the value.
- OutputField() - Constructor for class net.sf.tweety.plugin.OutputField
- OutputField(String) - Constructor for class net.sf.tweety.plugin.OutputField
- OutputField(String, String) - Constructor for class net.sf.tweety.plugin.OutputField
- outputFile - Static variable in class net.sf.tweety.cli.plugins.CliMain
-
the output file
- outputFile - Static variable in class net.sf.tweety.cli.TweetyCli
-
The output file
- outputFile - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
- OutputReasoner - Class in net.sf.tweety.arg.saf.reasoner
-
This class models an abstract reasoner for structured argumentation frameworks.
- OutputReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.saf.reasoner.OutputReasoner
-
Creates a new reasoner
- outputWriter - Static variable in class net.sf.tweety.cli.TweetyCli
-
The writer used for writing the output file.
- OvercautiousArgumentationAgent - Class in net.sf.tweety.agents.dialogues.structured
-
This class models an overcautious argumentation agent, i.e.
- OvercautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, boolean, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
-
Creates a new agent with the given (local) view and utility function.
- OvercautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
-
Creates a new (non-single-step) agent with the given (local) view and utility function.
All Classes All Packages