Skip to content

Confusion about the definition of the Language_Frame class #20

@Giovannicina

Description

@Giovannicina

I am looking at the file language_frame.py, and the class Language_Frame. From the docstring it appears that the variable p_e is a list of extensional predicates. However, at line 21-22 you check if the predicate is extensional (i.e. not intensional) and if true return an error. This is confusing, what are those two lines supposed to check?
Thank you very much for your reply!
Kind regards,

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions