Quick links: Tutorial - Examples - Files - Symbols.
Classes: Hierarchy - Index - List - Members.
Namespaces: Index - base - cs - display.

cogitant::Environment Member List

This is the complete list of members for cogitant::Environment, including all inherited members.

addConstraint(Constraint *g)cogitant::Environment
addDefaultIOOperations()cogitant::Environmentprotected
addGraph(Graph *g)cogitant::Environment
addObject(EnvironmentObject *g)cogitant::Environment
addRule(Rule *g)cogitant::Environment
allocator() constcogitant::Environmentinline
allocMembers()cogitant::Environmentprotected
allocMembers(Environment const &o)cogitant::Environmentprotected
allocMembersOperations()cogitant::Environmentprotected
allocProperties() constcogitant::CogitantObjectprotectedvirtual
begin() constcogitant::Environment
begin()cogitant::Environment
className() constcogitant::CogitantObject
clear()cogitant::Environment
CogitantObject()cogitant::CogitantObject
CogitantObject(CogitantObject const &o)cogitant::CogitantObject
connectedComponents(Graph const *g, std::vector< GraphSubset > &cc, iSet idig=0, GraphSubset const *subset=NULL) constcogitant::Environment
connectedComponentsSize(Graph const *g, iSet idig=0, GraphSubset const *subset=NULL) constcogitant::Environment
const_iterator typedef (defined in cogitant::Environment)cogitant::Environment
constraints(iSet i)cogitant::Environmentinline
constraints(iSet i) constcogitant::Environmentinline
constraintSatisfaction(Graph const *g, Constraint const *c, ResultOpeProjection *projcond=NULL, ResultOpeProjection *projinter=NULL)cogitant::Environment
deleteConstraint(iSet i)cogitant::Environment
deleteGraph(iSet i)cogitant::Environment
deleteMembers()cogitant::Environmentprotected
deleteObject(iSet i)cogitant::Environment
deleteRule(iSet i)cogitant::Environment
detachConstraint(iSet i)cogitant::Environment
detachGraph(iSet i)cogitant::Environment
detachObject(iSet i)cogitant::Environment
detachRule(iSet i)cogitant::Environment
disjointSum(Graph *dest, Graph const *src, bool fusioncc=false, GraphSubset const *subsetsrc=NULL)cogitant::Environment
disjointSumNewId(iSet oldid) constcogitant::Environment
end() constcogitant::Environment
ensureObject(iSet i) constcogitant::Environment
ensureObject(iSet i, EnvironmentObject::Type t, bool strict=false) constcogitant::Environment
Environment(EnvironmentAllocator const *alloc=NULL)cogitant::Environment
Environment(Environment const &o, EnvironmentAllocator const *alloc=NULL)cogitant::Environment
extensionFactory()cogitant::Environmentinline
extensionFactory() constcogitant::Environmentinline
externalJoin(Graph *g1, iSet ig1, Graph const *g2, iSet ig2)cogitant::Environment
externalJoin(Graph *g1, Graph const *g2, std::vector< std::pair< iSet, iSet > > const &couples, GraphSubset const *subsetg2=NULL)cogitant::Environment
findGraph(std::string const &n) constcogitant::Environment
findObject(std::string const &n) constcogitant::Environment
graph_const_iterator typedef (defined in cogitant::Environment)cogitant::Environment
graph_iterator typedef (defined in cogitant::Environment)cogitant::Environment
graphBegin() const (defined in cogitant::Environment)cogitant::Environment
graphBegin() (defined in cogitant::Environment)cogitant::Environment
graphEnd() const (defined in cogitant::Environment)cogitant::Environment
graphs(iSet i)cogitant::Environmentinline
graphs(iSet i) constcogitant::Environmentinline
hasProperties() constcogitant::CogitantObject
individualGraphExpand(Graph *g, iSet ignode, Graph const *indgraph) constcogitant::Environment
individualGraphMultipleExpand(Graph *g, Set< Graph const *> *indg) constcogitant::Environment
ioHandler()cogitant::Environmentinline
ioHandler() constcogitant::Environmentinline
isConnected(Graph const *g, iSet idig=0, GraphSubset const *subset=NULL) constcogitant::Environment
iterator typedef (defined in cogitant::Environment)cogitant::Environment
makeIrredundant(Graph *g)cogitant::Environment
messageFactory() constcogitant::Environmentinline
newConstraint(bool positive=false)cogitant::Environment
newConstraint(Constraint const *g)cogitant::Environment
newConstraint(iSet g)cogitant::Environment
newExternalColoredGraphConstraint(bool positive=false)cogitant::Environment
newExternalConstraint(bool positive=false)cogitant::Environment
newExternalConstraint(Constraint const *g)cogitant::Environment
newExternalGraph()cogitant::Environment
newExternalGraph(Graph const *g, bool extmode=false)cogitant::Environment
newExternalRule()cogitant::Environment
newExternalRule(Rule const *g)cogitant::Environment
newGraph()cogitant::Environment
newGraph(Graph const *g, bool extmode=false)cogitant::Environment
newGraph(iSet g, bool extmode=false)cogitant::Environment
newISet()cogitant::Environmentprotectedvirtual
newOpeProjectionBundle() constcogitant::Environment
newRule()cogitant::Environment
newRule(Rule const *g)cogitant::Environment
newRule(iSet g)cogitant::Environment
normalize(Graph *g, bool conjunctivetypes=true, GraphSubset const *subset1=NULL, GraphSubset const *subset2=NULL)cogitant::Environment
objects()cogitant::Environmentinline
objects(iSet i)cogitant::Environmentinline
objects() constcogitant::Environmentinline
objects(iSet i) constcogitant::Environmentinline
opeProjectionBundle(unsigned int numero=0) constcogitant::Environment
operator<<(std::ostream &os, const Environment &ob)cogitant::Environmentfriend
operator=(Environment const &ob)cogitant::Environment
cogitant::CogitantObject::operator=(CogitantObject const &ob)cogitant::CogitantObject
printInternalInfo(std::ostream &os) constcogitant::Environment
projectionImage(Graph const *g, Graph const *h, Projection const *p, Graph *image)cogitant::Environment
projections(iSet g, iSet h, ResultOpeProjection &res, bool injective=false)cogitant::Environment
projections(Graph const *g, Graph const *h, ResultOpeProjection &res, bool injective=false)cogitant::Environment
properties()cogitant::CogitantObject
properties() constcogitant::CogitantObject
read(std::string const &file, std::vector< iSet > *graphs=NULL, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
readGraphs(std::string const &file, std::vector< iSet > *graphs=NULL, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
readGraphs(std::istream &s, std::string streamname="", std::vector< iSet > *graphs=NULL, IOHandler::Format format=IOHandler::BCGCT, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
readSupport(std::string const &file, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
readSupport(std::istream &s, std::string streamname="", IOHandler::Format format=IOHandler::BCGCT, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
replaceObject(iSet i, EnvironmentObject *g)cogitant::Environment
rule_const_iterator typedef (defined in cogitant::Environment)cogitant::Environment
rule_iterator typedef (defined in cogitant::Environment)cogitant::Environment
ruleApplications(Graph const *g, Rule const *r, ResultOpeProjection &res, bool irr=false)cogitant::Environment
ruleApply(Graph *g, Rule const *r, Projection const *p, bool onlyif, GraphSubset *addednodes=NULL)cogitant::Environment
ruleBegin() const (defined in cogitant::Environment)cogitant::Environment
ruleBegin() (defined in cogitant::Environment)cogitant::Environment
ruleEnd() const (defined in cogitant::Environment)cogitant::Environment
rules(iSet i)cogitant::Environmentinline
rules(iSet i) constcogitant::Environmentinline
rulesClosure(Graph *g, Set< Rule *> const *r=NULL, unsigned long nma=0, unsigned long nmp=0, GraphSubset *addednodes=NULL)cogitant::Environment
rulesClosureNormalize(Graph *g, Set< Rule *> const *r=NULL, unsigned long nma=0, unsigned long nmp=0, bool conjunctivetypes=true)cogitant::Environment
signatureApply(Graph *g, iSet rnode=ISET_NULL) constcogitant::Environment
sizeObjects() constcogitant::Environment
subgraph(Graph *result, Graph const *src, GraphSubset const &subset, bool copychildren=true)cogitant::Environment
support()cogitant::Environmentinline
support() constcogitant::Environmentinline
supportSignatureSpecialize()cogitant::Environment
toString() constcogitant::CogitantObjectvirtual
verifyBannedType(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifyConformity(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifyConjunctiveType(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifyCoreferenceClass(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifyEdges(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifyGraph(OpeVerificationGraph *ope, Graph const *g, iSet node, OpeVerification::ListErrors *err=NULL) constcogitant::Environmentprotected
verifyGraph(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifyIrredundant(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifyNormalForm(Graph const *g, bool verifycc=true, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifySignature(Graph const *g, OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifySupportBannedType(OpeVerification::ListErrors *err=NULL) constcogitant::Environment
verifySupportSignature(OpeVerification::ListErrors *err=NULL) constcogitant::Environment
writeGraph(std::string const &file, iSet graph, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
writeGraph(std::ostream &s, iSet graph, IOHandler::Format format=IOHandler::LINEARFORM)cogitant::Environment
writeGraphs(std::string const &file, std::vector< iSet > const &graphs, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
writeGraphs(std::ostream &s, std::vector< iSet > const &graphs, IOHandler::Format format=IOHandler::BCGCT)cogitant::Environment
writeSupport(std::string const &file, unsigned int versionformat=0, GaugeUpdater *upd=NULL)cogitant::Environment
writeSupport(std::ostream &s, IOHandler::Format format=IOHandler::BCGCT)cogitant::Environment
~CogitantObject()cogitant::CogitantObjectvirtual
~Environment()cogitant::Environmentvirtual