O-Index

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

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.

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