Impl

scas.scripting.BAParsers.Impl
trait Impl extends BooleanRingParsers[BA]

Attributes

Graph
Supertypes
trait RingParsers[BA]
class Object
trait Matchable
class Any
Show all
Known subtypes
class BAParsers

Members list

Value members

Concrete methods

def mod(expr: BA, list: BA*): 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

Attributes

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

Attributes

Definition Classes
Inherited from:
BooleanRingParsers

Attributes

Inherited from:
RingParsers

Attributes

Inherited from:
RingParsers

Inherited and Abstract methods

def base: Parser[BA]

Attributes

Inherited from:
RingParsers

Givens

Givens