| Package | Description |
|---|---|
| com.bigdata.bop.constraint |
This package provides implementations for operators which impose constraints
on elements visited by some access path.
|
| com.bigdata.rdf.internal.constraints | |
| com.bigdata.rdf.rules |
| Modifier and Type | Class and Description |
|---|---|
class |
AND
Imposes the constraint
x AND y. |
class |
EQ
Imposes the constraint
x == y. |
class |
EQConstant
Imposes the constraint
var == constant. |
class |
INBinarySearch<T>
A constraint that a variable may only take on the bindings enumerated by some
set.
|
class |
INConstraint<T>
Abstract base class for "IN"
IConstraint implementations. |
class |
INHashMap<T>
A constraint that a variable may only take on the bindings enumerated by some
set.
|
class |
NE
Imposes the constraint
x != y. |
class |
NEConstant
Imposes the constraint
var != constant. |
class |
OR
Imposes the constraint
x OR y. |
| Modifier and Type | Method and Description |
|---|---|
BooleanValueExpression |
AND.get(int i) |
BooleanValueExpression |
OR.get(int i) |
| Modifier and Type | Method and Description |
|---|---|
static IConstraint |
Constraint.wrap(BooleanValueExpression ve)
Convenience method to generate a constraint from a value expression.
|
| Constructor and Description |
|---|
AND(BooleanValueExpression x,
BooleanValueExpression y) |
Constraint(BooleanValueExpression x) |
OR(BooleanValueExpression x,
BooleanValueExpression y) |
| Modifier and Type | Class and Description |
|---|---|
class |
InferenceBVE |
| Modifier and Type | Class and Description |
|---|---|
class |
RejectAnythingSameAsItself
Rejects (x y z) iff x==z and y==owl:sameAs, where x, y, and z are variables.
|
Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.