Uses of Class jtp.DirectAssertion (JTP API Documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JTP API Documentation

PREV NEXT

FRAMES NO FRAMES

Uses of Class
jtp.DirectAssertion

Packages that use DirectAssertion
jtp.context	Provides a basic configuration and interface for JTP.

Methods in jtp.context with parameters of type DirectAssertion

protected int BasicReasoningContext.tellInternal(DirectAssertion assertion)
Helper method called by most of the public tell methods (e.g., BasicReasoningContext.tellString(String)).

ReasoningStepIterator BasicReasoningContext.getAssertionResults(DirectAssertion assertion)
Asserts assertion to the telling reasoners.