| Package | Description |
|---|---|
| org.topbraid.shacl.entailment | |
| org.topbraid.shacl.rules | |
| org.topbraid.shacl.validation | |
| org.topbraid.spin.constraints |
Support for constraint checking using spin:constraint.
|
| org.topbraid.spin.inference |
Support for inferencing using spin:rule and spin:constructor.
|
| org.topbraid.spin.progress |
Generic support for tracking and interrupting progress.
|
| org.topbraid.spin.util |
Various utilities that don't fit elsewhere.
|
| Class and Description |
|---|
| ProgressMonitor
An abstraction of the Eclipse IProgressMonitor for intermediate
status messages and the ability to cancel long-running processes.
|
| Class and Description |
|---|
| ProgressMonitor
An abstraction of the Eclipse IProgressMonitor for intermediate
status messages and the ability to cancel long-running processes.
|
| Class and Description |
|---|
| ProgressMonitor
An abstraction of the Eclipse IProgressMonitor for intermediate
status messages and the ability to cancel long-running processes.
|
| Class and Description |
|---|
| ProgressMonitor
An abstraction of the Eclipse IProgressMonitor for intermediate
status messages and the ability to cancel long-running processes.
|
| Class and Description |
|---|
| ProgressMonitor
An abstraction of the Eclipse IProgressMonitor for intermediate
status messages and the ability to cancel long-running processes.
|
| Class and Description |
|---|
| ProgressMonitor
An abstraction of the Eclipse IProgressMonitor for intermediate
status messages and the ability to cancel long-running processes.
|
| Class and Description |
|---|
| ProgressMonitor
An abstraction of the Eclipse IProgressMonitor for intermediate
status messages and the ability to cancel long-running processes.
|
Copyright © 2017 TopQuadrant, Inc.. All rights reserved.