solver PE
Identifier:
fr.inria.aoste.ccslmodel.launcher.core.fr.inria.aoste.ccslmodel.launcher.core.solver
Since:
[Enter the first release in which this extension point appears.]
Description:
[Enter description of this extension point.]
Configuration Markup:
<!ELEMENT extension (Solver)+>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
<!ELEMENT Solver EMPTY>
<!ATTLIST Solver
name CDATA #IMPLIED
extensionfile CDATA #REQUIRED
constructor CDATA #REQUIRED
view CDATA #IMPLIED
param CDATA #IMPLIED
>
- name -
- extensionfile - ext1,ext2,ext3
- constructor -
- view - Reserved for Future Usage
- param - Reserved for Future Usage
Examples:
[Enter extension point usage example here.]
API Information:
[Enter API information here.]
Supplied Implementation:
[Enter information about supplied implementation of this extension point.]
Kairos INRIA/I3S