root
API
Generated with
root/scas/scas.scripting/BAParsers

BAParsers

scas.scripting.BAParsers
See theBAParsers companion object
class BAParsers(using x$1: BooleanAlgebra) extends Impl

Attributes

Companion
object
Graph
Supertypes
trait Impl
trait RingParsers[BA]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Constructors

def this(dummy: Boolean)

Concrete methods

def base: Parser[BA]
def generator(a: Variable): Element[Boolean, Array[Int]]

Inherited methods

def comparison: Parser[Boolean]

Attributes

Inherited from:
StructureParsers
def conj: Parser[BA]

Attributes

Inherited from:
BooleanRingParsers
def disj: Parser[BA]

Attributes

Inherited from:
BooleanRingParsers
override def expr: Parser[BA]

Attributes

Definition Classes
Inherited from:
BooleanRingParsers
def factor: Parser[BA]

Attributes

Inherited from:
RingParsers
def impl: Parser[BA]

Attributes

Inherited from:
BooleanRingParsers
def mod(expr: BA, list: BA*): Element[Boolean, Array[Int]]

Attributes

Inherited from:
Impl
def obj: Parser[MathObject]

Attributes

Inherited from:
StructureParsers
override def term: Parser[BA]

Attributes

Definition Classes
Inherited from:
BooleanRingParsers
def unsignedFactor: Parser[BA]

Attributes

Inherited from:
RingParsers
def unsignedTerm: Parser[BA]

Attributes

Inherited from:
RingParsers

Givens

Givens

override given structure: BooleanAlgebra
Generated with