UNPKG

propositional

Version:

Propositional logic symbolic computation library

38 lines (37 loc) 895 B
"use strict"; Object.defineProperty(exports, "__esModule", { value: true }); exports.Literal = exports.UnaryExpression = exports.BinaryExpression = exports.Expression = void 0; class Expression { } exports.Expression = Expression; ; class BinaryExpression extends Expression { left; operator; right; constructor(left, operator, right) { super(); this.left = left; this.operator = operator; this.right = right; } } exports.BinaryExpression = BinaryExpression; class UnaryExpression extends Expression { operator; inner; constructor(operator, inner) { super(); this.operator = operator; this.inner = inner; } } exports.UnaryExpression = UnaryExpression; class Literal extends Expression { value; constructor(value) { super(); this.value = value; } } exports.Literal = Literal;