concepts.dm.pdsketch.strips.strips_expression#

This file defines a set of classes for representing STRIPS expressions, including:

Boolean constant expressions.
Boolean predicate expressions.
SAS predicate expressions.
And/Or expressions.
Not expressions.
Forall/Exists expressions.
SAS expressions.
Single predicate assignment expressions.
Conditional assignment expressions.
Deictic assignment expressions.

At the highest level, the STRIPS expressions are categorized into two types:

StripsValueOutputExpression, which outputs a value. There is a special instantiation of this type, StripsBooleanOutputExpression, which outputs a boolean value.
StripsVariableAssignmentExpression, which assigns a value to a state variable.

Module attributes

SPredicateName

The name of propositions.

Functions

`make_sproposition`(name, *args)	Compose a proposition from a predicate name and a list of arguments.
`make_sproposition_from_function_application`(expr)	Compose a proposition from a function application expression.

Classes

`SAssignExpression`	The representation of an assignment expression.
`SBoolConstant`	The representation of a boolean constant.
`SBoolNot`	The representation of a boolean NOT expression.
`SBoolOutputExpression`	The base class for STRIPS expressions that output a boolean value.
`SBoolPredicateApplicationExpression`	The base class for STRIPS expressions that output a boolean value based on a predicate.
`SConditionalAssignExpression`	The representation of a conditional assignment expression.
`SDeicticAssignExpression`	The representation of a deictic assignment expression.
`SExpression`	The base class for STRIPS expressions.
`SQuantificationExpression`	The representation of a quantification expression.
`SSASExpression`	The representation of an SAS expression.
`SSASPredicateApplicationExpression`	The representation for an SAS predicate expression.
`SSimpleBoolExpression`	The representation of a boolean expression.
`SState`	The representation of a STRIPS state, which is a set of propositions.
`SStateDict`
`SValueOutputExpression`	The base class for STRIPS expressions that output a value.
`SVariableAssignmentExpression`	The base class for STRIPS expressions that assign a value to a state variable.