Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
name = None
parameters = None
class RulePreconditionNode(ModelBase):
condition = None
preserve = None
class RuleNode(ModelBase):
name = None
postconditions = None
preconditions = None
class AliasNode(ModelBase):
lhs = None
rhs = None
class ReverseRuleNode(ModelBase):
lhs = None
rhs = None
class PredicatesNode(ModelBase):
predicates = None
class RulesNode(ModelBase):
rules = None
class PlaceholderNode(ModelBase):
name = None
type = None
class PredicateNode(ModelBase):
name = None
parameters = None
class RulePreconditionNode(ModelBase):
condition = None
preserve = None
class RuleNode(ModelBase):
name = None
postconditions = None
preconditions = None
class AliasNode(ModelBase):
lhs = None
rhs = None
class ReverseRuleNode(ModelBase):
lhs = None
rhs = None
class PredicatesNode(ModelBase):
name = None
postconditions = None
preconditions = None
class AliasNode(ModelBase):
lhs = None
rhs = None
class ReverseRuleNode(ModelBase):
lhs = None
rhs = None
class PredicatesNode(ModelBase):
predicates = None
class RulesNode(ModelBase):
rules = None
class ReverseRulesNode(ModelBase):
reverse_rules = None
class ConstraintsNode(ModelBase):
constraints = None
class Inform7TypeNode(ModelBase):
class ReverseRuleNode(ModelBase):
lhs = None
rhs = None
class PredicatesNode(ModelBase):
predicates = None
class RulesNode(ModelBase):
rules = None
class ReverseRulesNode(ModelBase):
reverse_rules = None
class ConstraintsNode(ModelBase):
constraints = None
class Inform7TypeNode(ModelBase):
definition = None
kind = None
class Inform7PredicateNode(ModelBase):
predicate = None
source = None
class GameLogicModelBuilderSemantics(ModelBuilderSemantics):
def __init__(self, context=None, types=None):
types = [
t for t in globals().values()
if type(t) is type and issubclass(t, ModelBase)
] + (types or [])
super(GameLogicModelBuilderSemantics, self).__init__(context=context, types=types)
class VariableNode(ModelBase):
name = None
type = None
class SignatureNode(ModelBase):
name = None
types = None
class PropositionNode(ModelBase):
arguments = None
name = None
class ActionPreconditionNode(ModelBase):
condition = None
preserve = None
class ActionNode(ModelBase):
name = None
arguments = None
name = None
class ActionPreconditionNode(ModelBase):
condition = None
preserve = None
class ActionNode(ModelBase):
name = None
postconditions = None
preconditions = None
class PlaceholderNode(ModelBase):
name = None
type = None
class PredicateNode(ModelBase):
name = None
parameters = None
class RulePreconditionNode(ModelBase):
condition = None
preserve = None
class RuleNode(ModelBase):
name = None
rhs = None
class PredicatesNode(ModelBase):
predicates = None
class RulesNode(ModelBase):
rules = None
class ReverseRulesNode(ModelBase):
reverse_rules = None
class ConstraintsNode(ModelBase):
constraints = None
class Inform7TypeNode(ModelBase):
definition = None
kind = None
class Inform7PredicateNode(ModelBase):
predicate = None
source = None
class Inform7PredicatesNode(ModelBase):
predicates = None
rule = None
class Inform7CommandsNode(ModelBase):
commands = None
class Inform7CodeNode(ModelBase):
code = None
class Inform7Node(ModelBase):
parts = None
class TypeNode(ModelBase):
name = None
parts = None
supertypes = None
class DocumentNode(ModelBase):
types = None
name = None
postconditions = None
preconditions = None
class PlaceholderNode(ModelBase):
name = None
type = None
class PredicateNode(ModelBase):
name = None
parameters = None
class RulePreconditionNode(ModelBase):
condition = None
preserve = None
class RuleNode(ModelBase):
name = None
postconditions = None
preconditions = None
class AliasNode(ModelBase):
lhs = None
rhs = None
class ReverseRuleNode(ModelBase):
class AliasNode(ModelBase):
lhs = None
rhs = None
class ReverseRuleNode(ModelBase):
lhs = None
rhs = None
class PredicatesNode(ModelBase):
predicates = None
class RulesNode(ModelBase):
rules = None
class ReverseRulesNode(ModelBase):
reverse_rules = None
class ConstraintsNode(ModelBase):
constraints = None
class Inform7TypeNode(ModelBase):
definition = None
kind = None