BooleanRingParsers

scas.scripting.BooleanRingParsers
trait BooleanRingParsers[T] extends RingParsers[T]

Attributes

Graph
Supertypes
trait RingParsers[T]
trait StructureParsers[T]
class Object
trait Matchable
class Any
Known subtypes
trait Impl
class BAParsers

Members list

Value members

Concrete methods

def conj: Parser[T]
def disj: Parser[T]
override def expr: Parser[T]

Attributes

Definition Classes
def impl: Parser[T]
override def term: Parser[T]

Attributes

Definition Classes

Inherited methods

def comparison: Parser[Boolean]

Attributes

Inherited from:
StructureParsers
def factor: Parser[T]

Attributes

Inherited from:
RingParsers

Attributes

Inherited from:
StructureParsers

Attributes

Inherited from:
RingParsers

Attributes

Inherited from:
RingParsers

Inherited and Abstract methods

def base: Parser[T]

Attributes

Inherited from:
RingParsers

Givens

Givens

given structure: BooleanRing[T]