Documentation
¶
Index ¶
Constants ¶
View Source
const (
// DOCTYPE for the generated PNML file
DOCTYPE = `<?xml version="1.0" encoding="UTF-8"?>` + "\n"
)
Variables ¶
This section is empty.
Functions ¶
Types ¶
type Arc ¶
Arc is a pair of a place and a multiplicity. This is used to build arcs in the unfolding of a hlnet.
type Net ¶
type Net struct {
Thetype string `xml:"type,attr"`
ID string `xml:"id,attr"`
NAME string `xml:"name>text"`
PAGE Page `xml:"page"`
}
Net is the type of PNML net, without graphical information, where all information is written in a single page.
type PT ¶
type PT struct {
XMLName xml.Name `xml:"http://www.pnml.org/version-2009/grammar/pnml pnml"`
WNET Net `xml:"net"`
}
PT is the type of PNML for a P/T net without graphical information
type Page ¶
type Page struct {
ID string `xml:"id,attr"`
PLACES []Place `xml:"place"`
TRANS []Trans `xml:"transition"`
}
Page is the unit for defining a P/T net inside a PNML file.
type Place ¶
Place is the type used to marshal places.
func (Place) MarshalXML ¶
MarshalXML encodes the receiver as zero or more XML elements. This makes Place a xml.Marshaller
type Trans ¶
Trans is the type used to marshal transitions. We keep a pointer to the net so that we can find references to the arcs. We do not support inhibitor arcs.
func (Trans) MarshalXML ¶
MarshalXML encodes the receiver as zero or more XML elements. This makes Trans a xml.Marshaller
Source Files
Click to show internal directories.
Click to hide internal directories.