Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface AssignmentInterface

An assignment of a truth value to an atomic propositional variable. Used for evaluating formulas under a particular set of assignments.

Hierarchy

  • AssignmentInterface

Indexable

[variable: string]: boolean

An assignment of a truth value to an atomic propositional variable. Used for evaluating formulas under a particular set of assignments.

Generated using TypeDoc