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

BooleanParsers

scas.scripting.BooleanParsers
class BooleanParsers extends BooleanRingParsers[Boolean]

Attributes

Graph
Supertypes
trait BooleanRingParsers[Boolean]
trait RingParsers[Boolean]
trait StructureParsers[Boolean]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def base: Parser[Boolean]
def boolean: Parser[Boolean]
override def comparison: Parser[Boolean]

Attributes

Definition Classes
override def impl: Parser[Boolean]

Attributes

Definition Classes

Inherited methods

def conj: Parser[Boolean]

Attributes

Inherited from:
BooleanRingParsers
def disj: Parser[Boolean]

Attributes

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

Attributes

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

Attributes

Inherited from:
RingParsers
def obj: Parser[MathObject]

Attributes

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

Attributes

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

Attributes

Inherited from:
RingParsers
def unsignedTerm: Parser[Boolean]

Attributes

Inherited from:
RingParsers

Givens

Givens

override given structure: Impl
Generated with