Options
All
  • Public
  • Public/Protected
  • All
Menu

Class Expression

Polar expression.

Hierarchy

  • Expression

Index

Constructors

Properties

Constructors

constructor

  • new Expression(operator: "Add" | "And" | "Assign" | "Cut" | "Debug" | "Div" | "Dot" | "ForAll" | "In" | "Isa" | "Mod" | "Mul" | "New" | "Not" | "Or" | "Print" | "Rem" | "Sub" | "Unify" | "Eq" | "Geq" | "Gt" | "Leq" | "Lt" | "Neq", args: unknown[]): Expression

  • Parameters

    • operator: "Add" | "And" | "Assign" | "Cut" | "Debug" | "Div" | "Dot" | "ForAll" | "In" | "Isa" | "Mod" | "Mul" | "New" | "Not" | "Or" | "Print" | "Rem" | "Sub" | "Unify" | "Eq" | "Geq" | "Gt" | "Leq" | "Lt" | "Neq"
    • args: unknown[]

    Returns Expression

Properties

Readonly args

args: unknown[]

Readonly operator

operator: "Add" | "And" | "Assign" | "Cut" | "Debug" | "Div" | "Dot" | "ForAll" | "In" | "Isa" | "Mod" | "Mul" | "New" | "Not" | "Or" | "Print" | "Rem" | "Sub" | "Unify" | "Eq" | "Geq" | "Gt" | "Leq" | "Lt" | "Neq"