idp_engine.Assignments¶
Classes to store assignments of values to questions
-
class
Status
(value)[source] Describes how the value of a question was obtained
-
class
Assignment
(sentence, value, status, relevant=True)[source] Represent the assignment of a value to a question. Questions can be:
predicates and functions applied to arguments,
comparisons,
outermost quantified expressions
A value is a rigid term.
An assignment also has a reference to the symbol under which it should be displayed.
-
sentence
the question to be assigned a value
- Type
Expression
-
value
a rigid term
- Type
Expression, optional
-
status
qualifies how the value was obtained
- Type
Status, optional
-
relevant
states whether the sentence is relevant
- Type
bool, optional
-
symbol_decl
declaration of the symbol under which
- Type
SymbolDeclaration
-
it should be displayed in the IC.
-
__init__
(sentence, value, status, relevant=True)[source] Initialize self. See help(type(self)) for accurate signature.
- Parameters
sentence (idp_engine.Expression.Expression) –
value (Optional[idp_engine.Expression.Expression]) –
status (Optional[idp_engine.Assignments.Status]) –
relevant (Optional[bool]) –
-
same_as
(other)[source] returns True if self has the same sentence and truth value as other.
- Parameters
other (Assignment) – an assignment
- Returns
True if self has the same sentence and truth value as other.
- Return type
bool
-
negate
()[source] returns an Assignment for the same sentence, but an opposite truth value.
- Raises
AssertionError – Cannot negate a non-boolean assignment
- Returns
returns an Assignment for the same sentence, but an opposite truth value.
- Return type
[type]
-
as_set_condition
()[source] returns an equivalent set condition, or None
- Returns
meaning “appSymb is (not) in enumeration”
- Return type
Tuple[Optional[AppliedSymbol], Optional[bool], Optional[Enumeration]]
-
unset
()[source] Unsets the value of an assignment.
- Returns
None
- Return type
None