DATEX

type literalT

Definition:`T | Negation | Assertion`

type cnfT

Definition:`Conjunction`

type clauseT

Definition:`literal | Logical`

interface LogicalComparator

class LogicalT

Constructors

constructor(values?: T[] | [T])

class NegationT

Constructors

constructor(value: T)

class ConnectiveT

Constructors

constructor(param-todo)

class ConjunctionT

class DisjunctionT

Did this doc help you?

Help us improving our docs

Our documentations are fully open source. Something is wrong or unclear? Edit documentation.

Make a contribution

Get Support

Source code Request support

Overview

Essentials Open-Source Sponsors PGP

Support

Docs Blog Glossary Status

Company

Join us Donate Careers Contact

Team

About us Jonas Strehle Benedikt Strehle Tim Köhler

Dark mode

© 2024 unyt.org

Terms Privacy Legal Notice