Namespace VAL

Classes

• Struct Action::ActionParametersOutput

• Struct ActiveCtsEffects

• Struct ActiveFE

• Struct after

• Struct ApproxPolyError

• Struct BadAccessError

• Struct BadOperator

• Struct Deadlined

• Struct DerivedPredicateError

• Struct DiffEqunError

• Struct Environment

• Template Struct EnvironmentParameterIterator

• Struct EPSBuilder

• Struct ExecutionContext

• Struct FEGraph

• Struct Gantt

• Struct GanttElement

• Struct Generators

• Template Struct Happening::select2nd

• Struct HighOrderDiffEqunError

• Struct InfiniteRootsError

• Struct Intervals

• Struct InvalidActionRecord

• Struct InvalidActionReport

• Struct InvalidIntervalsError

• Struct InvariantDisjError

• Struct InvariantError

• Struct MutexViolation

• Struct NumError

• Struct OpProp

• Struct ParseFailure

• Struct PinguAction

• Struct PinguPosition

• Struct Plan::planBuilder

• Template Struct plusIt

• Template Struct plusIt< TI, std::random_access_iterator_tag >

• Struct PolyRootError

• Struct PropMonitor

• Struct PropositionFactory::buildProp

• Struct PropositionPair

• Struct safeaction

• Struct sameTime

• Struct showList

• Template Struct specEPSBuilder

• Template Struct SpecialistSymbolFactory

• Template Struct SymbolFactory

• Struct SyntaxTooComplex

• Struct Table5Percent

• Struct TemporalDAError

• Template Struct ToStringer

• Template Struct ToStringer< T * >

• Struct TRcompare

• Struct TriggeredDeadlined

• Struct TypeException

• Struct TypeRef

• Struct UndefinedPolyError

• Struct UnrecognisedCondition

• Struct UnsatConditionFactory

• Struct UnsatDurationCondition

• Struct UnsatGoal

• Struct UnsatInvariant

• Struct UnsatPrecondition

• Struct VisitController

• Struct Window

• Struct WriteController

• Class AbstractAction

• Class AbstractEvaluator

• Class AbstractGraph

• Class AbstractProposition

• Class action

• Class action

• Class ActionLinker

• Class AdviceProposition

• Class AdvicePropositionComp

• Class AdvicePropositionConj

• Class AdvicePropositionDisj

• Class AdvicePropositionDP

• Class AdvicePropositionLiteral

• Class Analyser

• Class analysis

• Class APVisitor

• Class assignment

• Class Associater

• Class BaseGen

• Class BatteryCharge

• Class binary_expression

• Class comparison

• Class comparison

• Class CompoundPropStore

• Class con_goal

• Class cond_effect

• Class CondCommunicationAction

• Class conj_goal

• Class ConjGoal

• Class const_symbol

• Class constraint_goal

• Class ConstraintGoal

• Class CtsEffectAction

• Class CtsFunction

• Class DebugWriteController

• Class derivation_rule

• Class DerivationRules

• Class derivations_list

• Class DerivedGoal

• Class disj_goal

• Class DisjGoal

• Class div_expression

• Class domain

• Class duration_expression

• Class durative_action

• Class DurativeActionElement

• Class DYNATranslator

• Class effect

• Class effect_lists

• Class EffectsRecord

• Class EndAction

• Class ErrorLog

• Class event

• Class Events

• Class Exponential

• Class expression

• Class extended_func_symbol

• Class extended_pred_symbol

• Class FalseProposition

• Class FastEnvironment

• Class float_expression

• Class forall_effect

• Class func_decl

• Class func_decl_list

• Class func_symbol

• Class func_term

• Class FuncAnalysis

• Class FuncExp

• Class FuncExpFactory

• Class FuncGatherer

• Class FValue

• Class goal

• Class goal_list

• Class GoalHypothesisSpace

• Class GoalTracker

• Class Happening

• Class holding_pred_symbol

• Class HowAnalyser

• Class HWWAction

• Class id_var_symbol_table

• Class IDopTabFactory

• Template Class IDsymbol

• Template Class IDSymbolFactory

• Class imply_goal

• Class ImplyGoal

• Class int_expression

• Class IntGen

• Class InvariantAction

• Class LaTeXSupport

• Class LeafAssociater

• Class length_spec

• Template Class LiteralParameterIterator

• Class LPGPTranslator

• Class metric_spec

• Class minus_expression

• Class Monitor

• Class MonitorOwner

• Class mul_expression

• Class neg_goal

• Class NegGoal

• Class NodeAssociater

• Class NormalGen

• Class num_expression

• Class NumericalSolution

• Class operator_

• Class operator_list

• Class operator_symbol

• Class Ownership

• Class parameter_symbol

• Class parse_category

• Class parse_error

• Class parse_error_list

• Template Class pc_list

• Class pddl_type

• Class pddl_typed_symbol

• Class PinguPlanGen

• Class plan

• Class plan

• Class Plan::const_iterator

• Class plan_step

• Class PlanExecutionTracker

• Class PlanRepair

• Class plus_expression

• Class Polynomial

• Class pred_decl

• Class pred_decl_list

• Class pred_symbol

• Class PredWriter

• Class preference

• Class PreferenceGoal

• Class PreferenceMonitor

• Class PrettyPrinter

• Class problem

• Class process

• Class PropInfo

• Class PropInfoFactory

• Class proposition

• Class proposition

• Class proposition_list

• Class PropositionFactory

• Class PropStore

• Class PTypeRef

• Class qfied_goal

• Class QfiedGoal

• Class RelaxTranslator

• Class RobustPlanAnalyser

• Class simple_effect

• Class simple_goal

• Class SimpleProposition

• Class SimplePropStore

• Class special_val_expr

• Template Class sStack

• Class StartAction

• Class State

• Class State::const_iterator

• Class StateObserver

• Class structure_def

• Class structure_store

• Class StructureFactory

• Class symbol

• Template Class symbol_table

• Class timed_effect

• Class timed_goal

• Class timed_initial_literal

• Class TrajectoryConstraintsMonitor

• Class TypeChecker

• Template Class typed_symbol_list

• Class TypeExtractor

• Class TypeHierarchy

• Template Class TypeIterator

• Class TypePredSubstituter

• Class TypeStripWriteController

• Class uminus_expression

• Class UniformGen

• Class UnsatCondition

• Class Update

• Class UTypeRef

• Class Validator

• Class var_symbol

• Class var_symbol_table_stack

• Class VarTabFactory

• Class violation_term

Enums

• Enum assign_op

• Enum comparison_op

• Enum constraint_sort

• Enum error_severity

• Enum FValueEnum

• Enum length_mode

• Enum optimization

• Enum ownership

• Enum pddl_req_attr

• Enum polarity

• Enum quantifier

• Enum RobustDist

• Enum RobustMetric

• Enum special_val

• Enum time_spec

Functions

• Function VAL::addToListOfParameters

• Template Function VAL::buildBindings

• Function VAL::buildForAllCondActions

• Function VAL::changeVars(goal *, map<parameter_symbol *, parameter_symbol *>)

• Function VAL::changeVars(expression *, map<parameter_symbol *, parameter_symbol *>)

• Function VAL::checkParametersProp

• Function VAL::checkPreconditionsAreNotSatisfied

• Function VAL::copyExpression

• Function VAL::copyGoal

• Function VAL::cwrite

• Function VAL::defineUndefinedParameters(const_symbol_list *, var_symbol_list *, Validator *, const set<var_symbol *>&)

• Function VAL::defineUndefinedParameters(const vector<const_symbol_list *>&, operator_*, Validator *, const set<var_symbol *>&)

• Function VAL::defineUndefinedParametersPropVar(const_symbol_list *, operator_*, Validator *, goal *, bool, bool, const set<var_symbol *>&, bool)

• Function VAL::defineUndefinedParametersPropVar(const vector<const_symbol_list *>&, operator_*, Validator *, goal *, bool, bool, const set<var_symbol *>&, bool)

• Function VAL::deleteParameters

• Function VAL::deleteTestPlan

• Function VAL::displayFailedLaTeXList

• Function VAL::getCopyCSL

• Function VAL::getIntervalFromPt

• Function VAL::getMaxTime

• Function VAL::getParameter(const SimpleProposition *, var_symbol *, const simple_goal *)

• Function VAL::getParameter(const FuncExp *, var_symbol *, const func_term *)

• Function VAL::getParameters

• Function VAL::getParametersCts

• Function VAL::getParametersCtsFinal

• Function VAL::getParametersDiscrete

• Function VAL::getParametersDiscreteFinal

• Function VAL::getParametersDiscreteInitialFinal

• Function VAL::getParametersList

• Function VAL::getPNEs

• Function VAL::getPoly(const expression *, const ActiveCtsEffects *, const Environment&, CoScalar)

• Function VAL::getPoly(const expression *, const ActiveCtsEffects *, const Environment *, CoScalar)

• Function VAL::getPoly(const expression *, bool, const ActiveCtsEffects *, const Environment&, CoScalar)

• Function VAL::getPoly(const expression *, bool, const ActiveCtsEffects *, const Environment *, CoScalar)

• Function VAL::getRandomNumberNormal

• Function VAL::getRandomNumberPsuedoNormal

• Function VAL::getRandomNumberUniform

• Function VAL::getRateExpression

• Function VAL::getVariables(const expression *)

• Function VAL::getVariables(const simple_goal *)

• Function VAL::getVariables(const qfied_goal *)

• Function VAL::getVariables(const operator_*)

• Function VAL::insert_effects

• Function VAL::isConstant

• Function VAL::isConstLinearChangeExpr

• Function VAL::isPointInInterval(CoScalar, const vector<pair<intervalEnd, intervalEnd>>&)

• Function VAL::isPointInInterval(CoScalar, const pair<intervalEnd, intervalEnd>&)

• Function VAL::isPointInInterval(CoScalar, const vector<pair<intervalEnd, intervalEnd>>&, const pair<intervalEnd, intervalEnd>&)

• Function VAL::latexString

• Function VAL::log_error

• Template Function VAL::makeIterator(Environment *, TI)

• Template Function VAL::makeIterator(FastEnvironment *, TI)

• Function VAL::newBlankConstSymbolList

• Function VAL::newTestPlan

• Template Function VAL::operator!=

• Function VAL::operator*(const Polynomial&, const Polynomial&)

• Function VAL::operator*(CoScalar, const Polynomial&)

• Function VAL::operator*(const Polynomial&, CoScalar)

• Function VAL::operator*=

• Function VAL::operator+(const Polynomial&, const Polynomial&)

• Function VAL::operator+(CoScalar, const Polynomial&)

• Function VAL::operator+(const Polynomial&, CoScalar)

• Function VAL::operator+=

• Function VAL::operator-(const Polynomial&, const Polynomial&)

• Function VAL::operator-(CoScalar, const Polynomial&)

• Function VAL::operator-(const Polynomial&, CoScalar)

• Function VAL::operator-(const Polynomial&)

• Function VAL::operator-(FValue&)

• Function VAL::operator-=

• Function VAL::operator/

• Function VAL::operator/=

• Function VAL::operator<<(ostream&, const FuncExp&)

• Function VAL::operator<<(std::ostream&, const GoalHypothesisSpace&)

• Function VAL::operator<<(ostream&, const AbstractAction&)

• Function VAL::operator<<(ostream&, const HWWAction&)

• Function VAL::operator<<(ostream&, const parse_category&)

• Function VAL::operator<<(ostream&, const Plan&)

• Function VAL::operator<<(ostream&, const Happening *)

• Function VAL::operator<<(ostream&, const Happening&)

• Function VAL::operator<<(ostream&, const Intervals&)

• Function VAL::operator<<(ostream&, const CtsFunction&)

• Function VAL::operator<<(ostream&, const Polynomial&)

• Function VAL::operator<<(ostream&, const Proposition&)

• Function VAL::operator<<(ostream&, const State&)

• Function VAL::operator<<(ostream&, const PropInfo&)

• Function VAL::operator<<(ostream&, const Action&)

• Function VAL::operator<<(ostream&, const Action *const)

• Function VAL::operator<<(ostream&, FValue)

• Template Function VAL::passOn

• Function VAL::pddl_req_flags_string

• Function VAL::removeRepeatedParameters

• Function VAL::replaceSubStrings

• Function VAL::setComplement

• Function VAL::setIntersect

• Function VAL::setUnion

• Template Function VAL::toString

• Template Function VAL::typeIt

• Function VAL::undefinedParameterExists

• Function VAL::upperCritialValueTDistribution

Typedefs

• Typedef VAL::const_symbol_list

• Typedef VAL::const_symbol_table

• Typedef VAL::CoScalar

• Typedef VAL::Deadlines

• Typedef VAL::EPSTypeIterator

• Typedef VAL::ExprnPair

• Typedef VAL::FEScalar

• Typedef VAL::func_symbol_table

• Typedef VAL::IGraph

• Typedef VAL::INT32

• Typedef VAL::intervalEnd

• Typedef VAL::LogicalState

• Typedef VAL::NumericalState

• Typedef VAL::NumScalar

• Typedef VAL::operator_symbol_table

• Typedef VAL::parameter_symbol_list

• Typedef VAL::pddl_req_flag

• Typedef VAL::pddl_type_list

• Typedef VAL::pddl_type_symbol_table

• Typedef VAL::pred_symbol_table

• Typedef VAL::PropositionPairs

• Typedef VAL::Propositions

• Typedef VAL::TriggeredDeadlines

• Typedef VAL::Types

• Typedef VAL::UINT32

• Typedef VAL::Updater

• Typedef VAL::Updates

• Typedef VAL::var_symbol_list

• Typedef VAL::var_symbol_table

• Typedef VAL::Windows

Variables

• Variable VAL::CA_

• Variable VAL::CM_

• Variable VAL::ContinueAnyway

• Variable VAL::current_analysis

• Variable VAL::ErrorReport

• Variable VAL::EventPNEJuddering

• Variable VAL::FAverbose

• Variable VAL::InvariantWarnings

• Variable VAL::JudderPNEs

• Variable VAL::LaTeX

• Variable VAL::latex

• Variable VAL::LaTeXRecord

• Variable VAL::makespanDefault

• Variable VAL::MASK_

• Variable VAL::MWC1_

• Variable VAL::MWC2_

• Variable VAL::NoGraphPoints

• Variable VAL::report

• Variable VAL::Robust

• Variable VAL::RobustPNEJudder

• Variable VAL::TestingPNERobustness

• Variable VAL::theTC

• Variable VAL::top_thing

• Variable VAL::types_defined

• Variable VAL::types_used

• Variable VAL::Verbose

• Variable VAL::void