-
Notifications
You must be signed in to change notification settings - Fork 31
Expand file tree
/
Copy pathindex.html
More file actions
176 lines (155 loc) · 9.29 KB
/
index.html
File metadata and controls
176 lines (155 loc) · 9.29 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
<!DOCTYPE html>
<html class="writer-html5" lang="en" data-content_root="./">
<head>
<meta charset="utf-8" /><meta name="viewport" content="width=device-width, initial-scale=1" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>PyVSC Documentation — pyvsc 0.0.1 documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=03e43079" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=9edc463e" />
<link rel="stylesheet" type="text/css" href="_static/graphviz.css?v=4ae1632d" />
<script src="_static/jquery.js?v=5d32c60e"></script>
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
<script src="_static/documentation_options.js?v=d45e8c67"></script>
<script src="_static/doctools.js?v=9bcbadda"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/js/theme.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Introduction" href="introduction.html" />
</head>
<body class="wy-body-for-nav">
<div class="wy-grid-for-nav">
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
<div class="wy-side-scroll">
<div class="wy-side-nav-search" >
<a href="#" class="icon icon-home">
pyvsc
</a>
<div role="search">
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
<input type="text" name="q" placeholder="Search docs" aria-label="Search docs" />
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
<ul>
<li class="toctree-l1"><a class="reference internal" href="introduction.html">Introduction</a></li>
<li class="toctree-l1"><a class="reference internal" href="quickstart.html">Quickstart Guide</a></li>
<li class="toctree-l1"><a class="reference internal" href="data_types.html">PyVSC Data Types</a></li>
<li class="toctree-l1"><a class="reference internal" href="constraints.html">PyVSC Constraints</a></li>
<li class="toctree-l1"><a class="reference internal" href="coverage.html">PyVSC Coverage</a></li>
<li class="toctree-l1"><a class="reference internal" href="methods.html">PyVSC Methods</a></li>
<li class="toctree-l1"><a class="reference internal" href="features.html">PyVSC Features</a></li>
<li class="toctree-l1"><a class="reference internal" href="debug.html">Debug</a></li>
<li class="toctree-l1"><a class="reference internal" href="reference.html">API Reference</a></li>
</ul>
</div>
</div>
</nav>
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="Mobile navigation menu" >
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
<a href="#">pyvsc</a>
</nav>
<div class="wy-nav-content">
<div class="rst-content">
<div role="navigation" aria-label="Page navigation">
<ul class="wy-breadcrumbs">
<li><a href="#" class="icon icon-home" aria-label="Home"></a></li>
<li class="breadcrumb-item active">PyVSC Documentation</li>
<li class="wy-breadcrumbs-aside">
<a href="_sources/index.rst.txt" rel="nofollow"> View page source</a>
</li>
</ul>
<hr/>
</div>
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
<div itemprop="articleBody">
<section id="pyvsc-documentation">
<h1>PyVSC Documentation<a class="headerlink" href="#pyvsc-documentation" title="Link to this heading"></a></h1>
<p>Contents:</p>
<div class="toctree-wrapper compound">
<ul>
<li class="toctree-l1"><a class="reference internal" href="introduction.html">Introduction</a><ul>
<li class="toctree-l2"><a class="reference internal" href="introduction.html#what-is-pyvsc">What is PyVSC?</a></li>
<li class="toctree-l2"><a class="reference internal" href="introduction.html#contributors">Contributors</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="quickstart.html">Quickstart Guide</a><ul>
<li class="toctree-l2"><a class="reference internal" href="quickstart.html#installing-pyvsc">Installing PyVSC</a></li>
<li class="toctree-l2"><a class="reference internal" href="quickstart.html#a-simple-example">A Simple Example</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="data_types.html">PyVSC Data Types</a><ul>
<li class="toctree-l2"><a class="reference internal" href="data_types.html#scalar-standard-width-attributes">Scalar Standard-Width Attributes</a></li>
<li class="toctree-l2"><a class="reference internal" href="data_types.html#scalar-arbitrary-width-attributes">Scalar Arbitrary-Width Attributes</a></li>
<li class="toctree-l2"><a class="reference internal" href="data_types.html#enum-type-attributes">Enum-type Attributes</a></li>
<li class="toctree-l2"><a class="reference internal" href="data_types.html#class-type-attributes">Class-type Attributes</a></li>
<li class="toctree-l2"><a class="reference internal" href="data_types.html#accessing-attribute-values">Accessing Attribute Values</a></li>
<li class="toctree-l2"><a class="reference internal" href="data_types.html#list-type-attributes">List-type Attributes</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="constraints.html">PyVSC Constraints</a><ul>
<li class="toctree-l2"><a class="reference internal" href="constraints.html#constraint-blocks">Constraint Blocks</a></li>
<li class="toctree-l2"><a class="reference internal" href="constraints.html#expressions">Expressions</a></li>
<li class="toctree-l2"><a class="reference internal" href="constraints.html#statements">Statements</a></li>
<li class="toctree-l2"><a class="reference internal" href="constraints.html#customizing-constraint-behavior">Customizing Constraint Behavior</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="coverage.html">PyVSC Coverage</a><ul>
<li class="toctree-l2"><a class="reference internal" href="coverage.html#covergroups">Covergroups</a></li>
<li class="toctree-l2"><a class="reference internal" href="coverage.html#coverpoints">Coverpoints</a></li>
<li class="toctree-l2"><a class="reference internal" href="coverage.html#providing-coverage-data-to-sample">Providing Coverage Data to Sample</a></li>
<li class="toctree-l2"><a class="reference internal" href="coverage.html#coverage-api">Coverage API</a></li>
<li class="toctree-l2"><a class="reference internal" href="coverage.html#coverage-reports">Coverage Reports</a></li>
<li class="toctree-l2"><a class="reference internal" href="coverage.html#saving-coverage-data">Saving Coverage Data</a></li>
<li class="toctree-l2"><a class="reference internal" href="coverage.html#using-coverage-data">Using Coverage Data</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="methods.html">PyVSC Methods</a><ul>
<li class="toctree-l2"><a class="reference internal" href="methods.html#randomization-methods">Randomization Methods</a></li>
<li class="toctree-l2"><a class="reference internal" href="methods.html#managing-random-stability">Managing Random Stability</a></li>
<li class="toctree-l2"><a class="reference internal" href="methods.html#weighted-random-selection-methods">Weighted-Random Selection Methods</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="features.html">PyVSC Features</a></li>
<li class="toctree-l1"><a class="reference internal" href="debug.html">Debug</a><ul>
<li class="toctree-l2"><a class="reference internal" href="debug.html#enabling-solve-fail-debug">Enabling Solve-Fail Debug</a></li>
<li class="toctree-l2"><a class="reference internal" href="debug.html#capturing-source-information">Capturing Source Information</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="reference.html">API Reference</a><ul>
<li class="toctree-l2"><a class="reference internal" href="reference.html#domain-specific-language-api">Domain-Specific Language API</a></li>
<li class="toctree-l2"><a class="reference internal" href="reference.html#model-api">Model API</a></li>
</ul>
</li>
</ul>
</div>
</section>
<section id="indices-and-tables">
<h1>Indices and tables<a class="headerlink" href="#indices-and-tables" title="Link to this heading"></a></h1>
</section>
</div>
</div>
<footer><div class="rst-footer-buttons" role="navigation" aria-label="Footer">
<a href="introduction.html" class="btn btn-neutral float-right" title="Introduction" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right" aria-hidden="true"></span></a>
</div>
<hr/>
<div role="contentinfo">
<p>© Copyright 2019-2026, Matthew Ballance and Contributors.</p>
</div>
Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
<a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
provided by <a href="https://readthedocs.org">Read the Docs</a>.
</footer>
</div>
</div>
</section>
</div>
<script>
jQuery(function () {
SphinxRtdTheme.Navigation.enable(true);
});
</script>
</body>
</html>