Uses of Class
dev.civl.gmc.GMCSection

Packages that use GMCSection

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.

Uses of GMCSection in dev.civl.gmc

Methods in dev.civl.gmc that return GMCSection

Modifier and Type	Method	Description
GMCSection	GMCSection.clone()	Returns a deep copy of this configuration.
GMCSection	GMCConfiguration.getAnonymousSection()	Returns the anonymous section
GMCSection	GMCConfiguration.getSection(String name)	Returns the section with the given name, or null if there is none.

Methods in dev.civl.gmc that return types with arguments of type GMCSection

Modifier and Type	Method	Description
Iterable<GMCSection>	GMCConfiguration.getSections()	Returns an iterable object of the NON-anonymous sections.

Methods in dev.civl.gmc with parameters of type GMCSection

Modifier and Type	Method	Description
void	GMCConfiguration.addSection(GMCSection section)	Adds a section to the NON-anonymous section map.
void	GMCSection.read(GMCSection that)	Modifies this section by reading in the values of the given configuration and using those to set values of this one.
void	GMCConfiguration.setAnonymousSection(GMCSection section)	Updates the anonymous section with the given section.