Class BooleanExpression

A typed Boolean expression that can also be used arithmetically as 0/1.

Hierarchy (View Summary)

NumericExpression
- BooleanExpression
  - BoolVar

Index

Constructors

Methods

add sub mul div neg eq le lt ge gt and or xor implies iff not

Constructors

`Protected`constructor

new BooleanExpression(node: unknown, owner?: symbol): BooleanExpression
Internal
Parameters
- node: unknown
- Optionalowner: symbol
Returns BooleanExpression
Overrides NumericExpression.constructor
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:222

Methods

add

add(rhs: NumericInput): NumericExpression
Parameters
- rhs: NumericInput
Returns NumericExpression
Inherited from NumericExpression.add
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:151

sub

sub(rhs: NumericInput): NumericExpression
Parameters
- rhs: NumericInput
Returns NumericExpression
Inherited from NumericExpression.sub
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:155

mul

mul(factor: number): NumericExpression
Parameters
- factor: number
Returns NumericExpression
Inherited from NumericExpression.mul
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:159

div

div(divisor: number): NumericExpression
Parameters
- divisor: number
Returns NumericExpression
Inherited from NumericExpression.div
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:163

neg

neg(): NumericExpression
Returns NumericExpression
Inherited from NumericExpression.neg
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:174

eq

eq(rhs: NumericInput): Constraint
Parameters
- rhs: NumericInput
Returns Constraint
Inherited from NumericExpression.eq
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:179

le

le(rhs: NumericInput): Constraint
Parameters
- rhs: NumericInput
Returns Constraint
Inherited from NumericExpression.le
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:183

lt

lt(rhs: NumericInput): Constraint
Parameters
- rhs: NumericInput
Returns Constraint
Inherited from NumericExpression.lt
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:187

ge

ge(rhs: NumericInput): Constraint
Parameters
- rhs: NumericInput
Returns Constraint
Inherited from NumericExpression.ge
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:191

gt

gt(rhs: NumericInput): Constraint
Parameters
- rhs: NumericInput
Returns Constraint
Inherited from NumericExpression.gt
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:195

and

and(rhs: BooleanInput): BooleanExpression
Parameters
- rhs: BooleanInput
Returns BooleanExpression
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:226

or

or(rhs: BooleanInput): BooleanExpression
Parameters
- rhs: BooleanInput
Returns BooleanExpression
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:230

xor

xor(rhs: BooleanInput): BooleanExpression
Parameters
- rhs: BooleanInput
Returns BooleanExpression
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:234

implies

implies(rhs: BooleanInput): BooleanExpression
Parameters
- rhs: BooleanInput
Returns BooleanExpression
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:238

iff

iff(rhs: BooleanInput): BooleanExpression
Parameters
- rhs: BooleanInput
Returns BooleanExpression
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:242

not

not(): BooleanExpression
Returns BooleanExpression
- Defined in repo/packages/ts-lib/src/fluent/expressions.ts:246