[DIGExpression] element index
Package indexes
DIGger
Console_Getargs
All elements
a
c
d
e
i
n
o
p
q
r
s
t
u
_
_
top
__construct
UNION::__construct()
in Expression.php
a
top
$args
UNION::$args
in Expression.php
$atom
Quantify::$atom
in Expression.php
All
All
in Expression.php
expressions are build via this Class
AndE
AndE
in Expression.php
expressions are build via this Class
AtLeast
AtLeast
in Expression.php
expressions are build via this Class
AtMost
AtMost
in Expression.php
expressions are build via this Class
Atom
Atom
in Expression.php
expressions are build via this Class
Atom
Atom::Atom()
in Expression.php
c
top
Catom
Catom
in Expression.php
expressions are build via this Class
d
top
definition
Ratom::definition()
in Expression.php
definition
Quantify::definition()
in Expression.php
definition
Catom::definition()
in Expression.php
definition
Atom::definition()
in Expression.php
e
top
$expression
Quantify::$expression
in Expression.php
EqualsC
EqualsC
in Expression.php
expressions are build via this Class
Expression
Expression
in Expression.php
expressions are build via this Class
Expression.php
Expression.php
in Expression.php
i
top
ImpliesC
ImpliesC
in Expression.php
expressions are build via this Class
n
top
$name
Atom::$name
in Expression.php
$num
PropertyRestriction::$num
in Expression.php
o
top
OrE
OrE
in Expression.php
expressions are build via this Class
p
top
PropertyRestriction
PropertyRestriction::PropertyRestriction()
in Expression.php
PropertyRestriction
PropertyRestriction
in Expression.php
expressions are build via this Class
q
top
Quantify
Quantify::Quantify()
in Expression.php
Quantify
Quantify
in Expression.php
expressions are build via this Class
r
top
Ratom
Ratom
in Expression.php
expressions are build via this Class
s
top
Some
Some
in Expression.php
expressions are build via this Class
t
top
tabdepth
tabdepth()
in Expression.php
toDIG
OrE::toDIG()
in Expression.php
toDIG
ImpliesC::toDIG()
in Expression.php
toDIG
Quantify::toDIG()
in Expression.php
toDIG
Ratom::toDIG()
in Expression.php
toDIG
UNION::toDIG()
in Expression.php
toDIG
Some::toDIG()
in Expression.php
toDIG
Expression::toDIG()
in Expression.php
toDIG
EqualsC::toDIG()
in Expression.php
toDIG
AndE::toDIG()
in Expression.php
toDIG
All::toDIG()
in Expression.php
toDIG
AtLeast::toDIG()
in Expression.php
toDIG
AtMost::toDIG()
in Expression.php
toDIG
Atom::toDIG()
in Expression.php
toDIG
Catom::toDIG()
in Expression.php
u
top
UNION
UNION
in Expression.php
expressions are build via this Class
UNIONtoDIG
UNION::UNIONtoDIG()
in Expression.php
a
c
d
e
i
n
o
p
q
r
s
t
u
_