Represents inferred information about Graph which is send and used by front-end.
Represents degree of accordance of given DKnowledge with an input port of some operation.
Represents degree of accordance of given DKnowledge with an input port of some operation. DKnowledge tells about objects that can be potentially put into a port. This port has a type qualifier. Thus, we can consider following cases: * all types of objects in DKnowledge can be put into port * not all, but some types of objects can be put into port * none of types can be put into port * DKnowledge was not provided for the port In each of this cases different errors and warnings can be returned.
Represents inferred information about Graph which is send and used by front-end. It contains mapping from nodes to their inferred knowledge on output ports, as well as inferred warnings and errors.