lspace
.
librarian
.
logic
.
predicate
P
Related Docs:
trait P
|
package predicate
object
P
extends
OntologyDef
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
OntologyDef
,
ClassTypeDef
[
structure.Ontology
],
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
P
Serializable
Serializable
OntologyDef
ClassTypeDef
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
trait
OrderHelper
[
T
]
extends
AnyRef
trait
Properties
extends
AnyRef
Definition Classes
OntologyDef
implicit
class
WithPredicate
[
T <:
P
[_]
]
extends
AnyRef
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
def
&&
[
T
,
PR
[
+Z
]
<:
P
[
Z
]
]
(
predicate:
PR
[
T
]*
)
:
And
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
object
OrderHelper
def
_extends
: () ⇒
List
[
structure.Ontology
]
Definition Classes
OntologyDef
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
between
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
lower:
T
,
upper:
T
)
(
implicit
arg0:
OrderHelper
[
T
]
,
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Between
[
T
]
def
classtype
:
structure.Ontology
Definition Classes
OntologyDef
→
ClassTypeDef
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
def
clsP
[
T
]
:
Aux
[
P
[
T
],
structure.Node
,
structure.ClassType
[
structure.Node
]]
def
comment0
:
String
Definition Classes
OntologyDef
def
contains
[
T
,
PR
[
Z
]
<:
P
[
T
]
]
(
value:
PR
[
T
]
)
:
Contains
[
PR
[
T
]]
def
contains
[
T
]
(
value:
T
)
:
Contains
[
T
]
def
disjoint
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Disjoint
[
T
]
def
endsWith
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Suffix
[
T
]
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
eqv
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Eqv
[
T
]
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
fuzzy
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Fuzzy
[
T
]
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
gt
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
arg0:
OrderHelper
[
T
]
,
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Gt
[
T
]
def
gte
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
arg0:
OrderHelper
[
T
]
,
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Gte
[
T
]
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
inside
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
lower:
T
,
upper:
T
)
(
implicit
arg0:
OrderHelper
[
T
]
,
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Inside
[
T
]
def
intersect
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Intersect
[
T
]
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
object
keys
def
label0
:
String
Definition Classes
OntologyDef
def
lt
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
arg0:
OrderHelper
[
T
]
,
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Lt
[
T
]
def
lte
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
arg0:
OrderHelper
[
T
]
,
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Lte
[
T
]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
neqv
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Neqv
[
T
]
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
lazy val
ontology
:
structure.Ontology
Definition Classes
OntologyDef
def
outside
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
lower:
T
,
upper:
T
)
(
implicit
arg0:
OrderHelper
[
T
]
,
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Outside
[
T
]
lazy val
predicates
:
List
[
PredicateDef
]
def
prefix
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Prefix
[
T
]
def
properties
:
List
[
structure.Property
]
Definition Classes
OntologyDef
def
regex
(
value:
scala.util.matching.Regex
)
:
Regex
def
startsWith
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Prefix
[
T
]
def
suffix
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Suffix
[
T
]
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toP
(
node:
structure.Node
)
:
P
[_]
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
within
[
T
,
T0
,
TT0 <:
structure.ClassType
[_]
]
(
value:
T
)
(
implicit
ct:
Aux
[
T
,
T0
,
TT0
]
)
:
Within
[
T
]
def
||
[
T
,
PR
[
+Z
]
<:
P
[
Z
]
]
(
predicate:
PR
[
T
]*
)
:
Or
Inherited from
Serializable
Inherited from
Serializable
Inherited from
OntologyDef
Inherited from
ClassTypeDef
[
structure.Ontology
]
Inherited from
AnyRef
Inherited from
Any
Ungrouped