cogitant.jni.Environment Class Reference

Environment. More...

Inheritance diagram for cogitant.jni.Environment:

List of all members.

Public Member Functions
	Environment ()
void	finalize ()
int	hashCode ()
cogitant.base.Support	support ()
	Support.
void	loadSupport (java.io.InputStream in, cogitant.base.IOHandler.Format format) throws ExceptionIO
void	loadSupport (String f) throws ExceptionIO
	Load a support from a file.
Collection < cogitant.base.EnvironmentObject >	loadObjects (java.io.InputStream in, cogitant.base.IOHandler.Format format) throws ExceptionIO
Collection < cogitant.base.EnvironmentObject >	loadObjects (String f) throws ExceptionIO
	Load graphs/rules/constraints from a file.
String	saveSupportString (cogitant.base.IOHandler.Format format) throws ExceptionIO
String	saveObjectsString (Collection< cogitant.base.EnvironmentObject > obj, cogitant.base.IOHandler.Format format) throws ExceptionIO
String	saveObjectString (cogitant.base.EnvironmentObject obj, cogitant.base.IOHandler.Format format) throws ExceptionIO
void	setIOConfig (IOHandler.ConfigPropertyBool prop, boolean val)
	Change I/O configuration.
void	deleteObject (cogitant.base.EnvironmentObject g) throws cogitant.base.Exception
Collection < cogitant.base.EnvironmentObject >	objects ()
	Set of objects (graphs/rules/constraints).
cogitant.base.EnvironmentObject	findObject (String name)
	Find an object by its name.
cogitant.base.Graph	newGraph ()
	Create a new empty graph.
cogitant.base.Graph	newGraph (cogitant.base.Graph g)
void	deleteGraph (cogitant.base.Graph g) throws cogitant.base.Exception
Collection< cogitant.base.Graph >	graphs ()
	Set of graphs.
cogitant.base.Graph	findGraph (String name)
	Find a graph by its name.
cogitant.base.Graph	newGraphSubgraph (cogitant.base.Graph g, cogitant.base.GraphSubset gs) throws cogitant.base.Exception
void	deleteRule (cogitant.base.Rule g) throws cogitant.base.Exception
Collection< cogitant.base.Rule >	rules ()
	Set of rules.
cogitant.base.Rule	findRule (String name)
	Find a rule by its name.
void	deleteConstraint (cogitant.base.Constraint g) throws cogitant.base.Exception
Collection < cogitant.base.Constraint >	constraints ()
	Set of constraints.
cogitant.base.Constraint	findConstraint (String name)
	Find a constraint by its name.
cogitant.base.ProjectionConfig	projectionConfig ()
	Projection config.
cogitant.base.Projection	newProjection (cogitant.base.Graph g, cogitant.base.Graph h) throws cogitant.base.Exception
boolean	projectionHas (cogitant.base.Graph g, cogitant.base.Graph h) throws cogitant.base.Exception
int	projectionNum (cogitant.base.Graph g, cogitant.base.Graph h) throws cogitant.base.Exception
Collection < cogitant.base.Projection >	projectionFind (cogitant.base.Graph g, cogitant.base.Graph h) throws cogitant.base.Exception
void	projectionStop ()
	Stop a projection operation.
java.util.Iterator < cogitant.base.Projection >	projectionIterator (cogitant.base.Graph g, cogitant.base.Graph h, cogitant.base.ProjectionConfig pc) throws cogitant.base.Exception
void	graphDisjointSum (cogitant.base.Graph g, cogitant.base.Graph h) throws cogitant.base.Exception
int	graphNormalize (cogitant.base.Graph g) throws cogitant.base.Exception
void	graphIrredundant (cogitant.base.Graph g) throws cogitant.base.Exception
void	graphExternalJoin (cogitant.base.Graph g1, cogitant.base.GraphObject cg1, cogitant.base.Graph g2, cogitant.base.GraphObject cg2) throws cogitant.base.Exception
boolean	graphVerifyIrredundant (cogitant.base.Graph g) throws cogitant.base.Exception
boolean	graphVerifyEdges (cogitant.base.Graph g) throws cogitant.base.Exception
void	graphEnsureWellFormed (cogitant.base.Graph g) throws cogitant.base.Exception
void	graphExternalJoin (cogitant.base.Graph g1, cogitant.base.Graph g2, cogitant.base.GraphSubset subsetg2, Collection< cogitant.base.GraphObject > nodesg1, Collection< cogitant.base.GraphObject > nodesg2) throws cogitant.base.Exception
Collection < cogitant.base.Projection >	ruleApplications (cogitant.base.Graph g, cogitant.base.Rule r, boolean newkonly) throws cogitant.base.Exception
boolean	ruleApply (cogitant.base.Graph g, cogitant.base.Rule r, cogitant.base.Projection p, boolean newkonly) throws cogitant.base.Exception
int	rulesClosure (cogitant.base.Graph g, Collection< cogitant.base.Rule > r, int maxapp, int maxpasses) throws cogitant.base.Exception
int	rulesClosureNormalize (cogitant.base.Graph g, Collection< cogitant.base.Rule > r, int maxapp, int maxpasses) throws cogitant.base.Exception
boolean	constraintSatisfaction (cogitant.base.Graph g, cogitant.base.Constraint c) throws cogitant.base.Exception
cogitant.base.CoupleOfProjections	constraintSatisfactionViolation (cogitant.base.Graph g, cogitant.base.Constraint c) throws cogitant.base.Exception
void	individualGraphsClosure (cogitant.base.Graph g, Collection< cogitant.base.Graph > indg) throws cogitant.base.Exception

---

Detailed Description

Environment.

JNI implementation.

---

Constructor & Destructor Documentation

cogitant.jni.Environment.Environment

(

)

---

Member Function Documentation

Collection<cogitant.base.Constraint> cogitant.jni.Environment.constraints

(

)

Set of constraints.

Implements cogitant.base.Environment.

boolean cogitant.jni.Environment.constraintSatisfaction	(	cogitant.base.Graph	g,
		cogitant.base.Constraint	c
	)		throws cogitant.base.Exception

cogitant.base.CoupleOfProjections cogitant.jni.Environment.constraintSatisfactionViolation	(	cogitant.base.Graph	g,
		cogitant.base.Constraint	c
	)		throws cogitant.base.Exception

References cogitant.jni.CoupleOfLambdas.first(), and cogitant.jni.CoupleOfLambdas.second().

void cogitant.jni.Environment.deleteConstraint

(

cogitant.base.Constraint

g

)

throws cogitant.base.Exception

void cogitant.jni.Environment.deleteGraph

(

cogitant.base.Graph

g

)

throws cogitant.base.Exception

void cogitant.jni.Environment.deleteObject

(

cogitant.base.EnvironmentObject

g

)

throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock().

void cogitant.jni.Environment.deleteRule

(

cogitant.base.Rule

g

)

throws cogitant.base.Exception

void cogitant.jni.Environment.finalize

(

)

References cogitant.jni.JniObject.m_handlecpp.

cogitant.base.Constraint cogitant.jni.Environment.findConstraint

(

String

name

)

Find a constraint by its name.

Parameters:

name	searched name.

Returns:

constraint having this name or null.

See also:

findObject().

Implements cogitant.base.Environment.

References cogitant.jni.EnvironmentObject.EnvironmentObject(), and cogitant.jni.Environment.findObject().

cogitant.base.Graph cogitant.jni.Environment.findGraph

(

String

name

)

Find a graph by its name.

Parameters:

name	searched name.

Returns:

graph having this name or null.

See also:

findObject().

Implements cogitant.base.Environment.

References cogitant.jni.EnvironmentObject.EnvironmentObject(), and cogitant.jni.Environment.findObject().

cogitant.base.EnvironmentObject cogitant.jni.Environment.findObject

(

String

name

)

Find an object by its name.

Parameters:

name	searched name.

Returns:

object having this name or null.

See also:

EnvironmentObject.name().

Implements cogitant.base.Environment.

Referenced by cogitant.jni.Environment.findConstraint(), cogitant.jni.Environment.findGraph(), and cogitant.jni.Environment.findRule().

cogitant.base.Rule cogitant.jni.Environment.findRule

(

String

name

)

Find a rule by its name.

Parameters:

name	searched name.

Returns:

rule having this name or null.

See also:

findObject().

Implements cogitant.base.Environment.

References cogitant.jni.EnvironmentObject.EnvironmentObject(), and cogitant.jni.Environment.findObject().

void cogitant.jni.Environment.graphDisjointSum	(	cogitant.base.Graph	g,
		cogitant.base.Graph	h
	)		throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock(), and cogitant.jni.EnvironmentObject.unlock().

void cogitant.jni.Environment.graphEnsureWellFormed

(

cogitant.base.Graph

g

)

throws cogitant.base.Exception

References cogitant.jni.Environment.graphVerifyEdges(), and cogitant.jni.Graph.toString().

void cogitant.jni.Environment.graphExternalJoin	(	cogitant.base.Graph	g1,
		cogitant.base.GraphObject	cg1,
		cogitant.base.Graph	g2,
		cogitant.base.GraphObject	cg2
	)		throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock(), and cogitant.jni.EnvironmentObject.unlock().

void cogitant.jni.Environment.graphExternalJoin	(	cogitant.base.Graph	g1,
		cogitant.base.Graph	g2,
		cogitant.base.GraphSubset	subsetg2,
		Collection< cogitant.base.GraphObject >	nodesg1,
		Collection< cogitant.base.GraphObject >	nodesg2
	)		throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock(), and cogitant.jni.EnvironmentObject.unlock().

void cogitant.jni.Environment.graphIrredundant

(

cogitant.base.Graph

g

)

throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock(), and cogitant.jni.EnvironmentObject.unlock().

int cogitant.jni.Environment.graphNormalize

(

cogitant.base.Graph

g

)

throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock(), and cogitant.jni.EnvironmentObject.unlock().

Collection<cogitant.base.Graph> cogitant.jni.Environment.graphs

(

)

Set of graphs.

Implements cogitant.base.Environment.

boolean cogitant.jni.Environment.graphVerifyEdges

(

cogitant.base.Graph

g

)

throws cogitant.base.Exception

Referenced by cogitant.jni.Environment.graphEnsureWellFormed().

boolean cogitant.jni.Environment.graphVerifyIrredundant

(

cogitant.base.Graph

g

)

throws cogitant.base.Exception

int cogitant.jni.Environment.hashCode

(

)

References cogitant.jni.JniObject.m_handlecpp.

Referenced by cogitant.jni.Support.hashCode(), and cogitant.jni.EnvironmentObject.hashCode().

void cogitant.jni.Environment.individualGraphsClosure	(	cogitant.base.Graph	g,
		Collection< cogitant.base.Graph >	indg
	)		throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock(), and cogitant.jni.EnvironmentObject.unlock().

Collection<cogitant.base.EnvironmentObject> cogitant.jni.Environment.loadObjects	(	java.io.InputStream	in,
		cogitant.base.IOHandler.Format	format
	)		throws ExceptionIO

Collection<cogitant.base.EnvironmentObject> cogitant.jni.Environment.loadObjects

(

String

f

)

throws ExceptionIO

Load graphs/rules/constraints from a file.

Parameters:

f

filename.

Implements cogitant.base.Environment.

void cogitant.jni.Environment.loadSupport	(	java.io.InputStream	in,
		cogitant.base.IOHandler.Format	format
	)		throws ExceptionIO

void cogitant.jni.Environment.loadSupport

(

String

f

)

throws ExceptionIO

Load a support from a file.

This method replaces the current support.

Parameters:

f

filename.

Implements cogitant.base.Environment.

cogitant.base.Graph cogitant.jni.Environment.newGraph

(

cogitant.base.Graph

g

)

cogitant.base.Graph cogitant.jni.Environment.newGraph

(

)

Create a new empty graph.

Implements cogitant.base.Environment.

Referenced by cogitant.jni.Environment.newGraphSubgraph().

cogitant.base.Graph cogitant.jni.Environment.newGraphSubgraph	(	cogitant.base.Graph	g,
		cogitant.base.GraphSubset	gs
	)		throws cogitant.base.Exception

References cogitant.jni.Environment.newGraph().

cogitant.base.Projection cogitant.jni.Environment.newProjection	(	cogitant.base.Graph	g,
		cogitant.base.Graph	h
	)		throws cogitant.base.Exception

References cogitant.jni.Projection.setGraphs().

Collection<cogitant.base.EnvironmentObject> cogitant.jni.Environment.objects

(

)

Set of objects (graphs/rules/constraints).

Implements cogitant.base.Environment.

cogitant.base.ProjectionConfig cogitant.jni.Environment.projectionConfig

(

)

Projection config.

Implements cogitant.base.Environment.

Collection<cogitant.base.Projection> cogitant.jni.Environment.projectionFind	(	cogitant.base.Graph	g,
		cogitant.base.Graph	h
	)		throws cogitant.base.Exception

boolean cogitant.jni.Environment.projectionHas	(	cogitant.base.Graph	g,
		cogitant.base.Graph	h
	)		throws cogitant.base.Exception

java.util.Iterator<cogitant.base.Projection> cogitant.jni.Environment.projectionIterator	(	cogitant.base.Graph	g,
		cogitant.base.Graph	h,
		cogitant.base.ProjectionConfig	pc
	)		throws cogitant.base.Exception

int cogitant.jni.Environment.projectionNum	(	cogitant.base.Graph	g,
		cogitant.base.Graph	h
	)		throws cogitant.base.Exception

void cogitant.jni.Environment.projectionStop

(

)

Stop a projection operation.

When called from another thread, this method ask the projection operation (called by projectionHas(), projectionNum() or projectionFind()) to stop as soon as possible.

Implements cogitant.base.Environment.

Collection<cogitant.base.Projection> cogitant.jni.Environment.ruleApplications	(	cogitant.base.Graph	g,
		cogitant.base.Rule	r,
		boolean	newkonly
	)		throws cogitant.base.Exception

boolean cogitant.jni.Environment.ruleApply	(	cogitant.base.Graph	g,
		cogitant.base.Rule	r,
		cogitant.base.Projection	p,
		boolean	newkonly
	)		throws cogitant.base.Exception

References cogitant.jni.EnvironmentObject.lock(), and cogitant.jni.EnvironmentObject.unlock().

Collection<cogitant.base.Rule> cogitant.jni.Environment.rules

(

)

Set of rules.

Implements cogitant.base.Environment.

int cogitant.jni.Environment.rulesClosure	(	cogitant.base.Graph	g,
		Collection< cogitant.base.Rule >	r,
		int	maxapp,
		int	maxpasses
	)		throws cogitant.base.Exception

int cogitant.jni.Environment.rulesClosureNormalize	(	cogitant.base.Graph	g,
		Collection< cogitant.base.Rule >	r,
		int	maxapp,
		int	maxpasses
	)		throws cogitant.base.Exception

String cogitant.jni.Environment.saveObjectsString	(	Collection< cogitant.base.EnvironmentObject >	obj,
		cogitant.base.IOHandler.Format	format
	)		throws ExceptionIO

String cogitant.jni.Environment.saveObjectString	(	cogitant.base.EnvironmentObject	obj,
		cogitant.base.IOHandler.Format	format
	)		throws ExceptionIO

References cogitant.jni.EnvironmentObject.EnvironmentObject().

String cogitant.jni.Environment.saveSupportString

(

cogitant.base.IOHandler.Format

format

)

throws ExceptionIO

void cogitant.jni.Environment.setIOConfig	(	IOHandler.ConfigPropertyBool	prop,
		boolean	val
	)

Change I/O configuration.

Parameters:

prop	property.
val	value.

Implements cogitant.base.Environment.

cogitant.base.Support cogitant.jni.Environment.support

(

)

Support.

Implements cogitant.base.Environment.