Selections: 2. Sledgeshock Hammer
Categories: AETHERIC NAVIGATOR, DUARDIN, HERO, SKYFARERS, KHARADRON OVERLORDS, ORDER, Leader, Artefact
Artefact: Sledgeshock Hammer, Unit: Aetheric Navigator, Unit Abilities: Aethersight, Aetherstorm, Read the Winds, Weapon: Ranging Pistol, Zephyrscope
| Artefact | Artefact Details | Ref |
|---|---|---|
| Sledgeshock Hammer | Pick one of the bearer’s melee weapons to be a Sledgeshock Hammer. Add 1 to wound rolls made for this weapon. |
| Unit | Move | Wounds | Bravery | Save | Ref |
|---|---|---|---|---|---|
| Aetheric Navigator | 4" | 5 | 7 | 3+ |
| Unit Abilities | Ability Details | Ref |
|---|---|---|
| Aethersight | An Aetheric Navigator can attempt to unbind a spell in each enemy hero phase as if they were a wizard. | |
| Aetherstorm | In your hero phase, an Aetheric Navigator can attempt to manipulate the aether to cause a storm. If they do so, roll a dice. On a 3 or more they are successful – until your next hero phase, enemy units that can fly must halve their Move characteristic if they begin their movement phase within 18" of the Aetheric Navigator. | |
| Read the Winds | If an Aetheric Navigator does not move in the movement phase, you can re-roll the dice for all visible friendly SKYVESSELS when they run or charge. You cannot use this ability in a turn in which an Aetheric Navigator has attempted to cause an aetherstorm. An Aetheric Navigator can use this ability even when embarked, but if they do so it only affects the SKYVESSEL they are embarked upon. |
| Weapon | Type | Range | Attacks | To Hit | To Wound | Rend | Damage | Ref |
|---|---|---|---|---|---|---|---|---|
| Ranging Pistol | Missile | 12" | 2 | 3+ | 4+ | -1 | 1 | |
| Zephyrscope | Melee | 1" | 2 | 3+ | 4+ | - | 1 |
Categories: AETHER-KHEMIST, BJORGEN THUNDRIK, DUARDIN, HERO, KHARADRON OVERLORDS, ORDER, SKYFARERS, Leader
Unit: Bjorgen Thundrik, Unit Abilities: Aetheric Augmentation, Atmospheric Isolation, Weapon: Atmospheric Anatomiser, Heavy Instruments
| Unit | Move | Wounds | Bravery | Save | Ref |
|---|---|---|---|---|---|
| Bjorgen Thundrik | 4" | 5 | 7 | 4+ |
| Unit Abilities | Ability Details | Ref |
|---|---|---|
| Aetheric Augmentation | In your hero phase, you can pick 1 friendly SKYFARERS unit within 10" of this model, and then pick 1 type of weapon that unit is armed with. Add 1 to the Attacks characteristic of that weapon type for that unit until your next hero phase. A weapon cannot benefit from this ability more than once at the same time. | |
| Atmospheric Isolation | Subtract 1 from the Attacks characteristic of melee weapons used by any enemy models within 3" of any friendly models with this ability, to a minimum Attacks characteristic of 1. |
| Weapon | Type | Range | Attacks | To Hit | To Wound | Rend | Damage | Ref |
|---|---|---|---|---|---|---|---|---|
| Atmospheric Anatomiser | Missile | 10" | 3D6 | 4+ | 4+ | -2 | 1 | |
| Heavy Instruments | Melee | 1" | 3 | 4+ | 4+ | - | 1 |
Categories: DUARDIN, KHARADRON OVERLORDS, ORDER, SKYFARERS, THUNDRIK'S PROFITEERS, Other
Unit: Thundrik's Profiteers, Unit Abilities: Glory Seekers, Khazgan Drakkskewer, Weapon: Aethermatic Volley Gun (Enrik Ironhail), Aethershot Rifle (Dead-Eye Lund), Arkanaut Cutter (Garodd Alensen), Gun Butt (Enrik Ironhail and Dead-Eye Lund), Privateer Pistol (Garodd Alensen), Skypike (Khazgan Drakkskewer), Vulcaniser Pistol (Khazgan Drakkskewer)
| Unit | Move | Wounds | Bravery | Save | Ref |
|---|---|---|---|---|---|
| Thundrik's Profiteers | 4" | 1 | 7 | 4+ |
| Unit Abilities | Ability Details | Ref |
|---|---|---|
| Glory Seekers | Add 1 to hit rolls for attacks made by this unit that target a HERO or MONSTER. | |
| Khazgan Drakkskewer | Add 1 to Khazgan Drakkskewer’s Wounds characteristic. In addition, when you make a move with Khazgan Drakkskewer, you can treat the model as if it can fly |
| Weapon | Type | Range | Attacks | To Hit | To Wound | Rend | Damage | Ref |
|---|---|---|---|---|---|---|---|---|
| Aethermatic Volley Gun (Enrik Ironhail) | Missile | 18" | 6 | 5+ | 4+ | -1 | 1 | |
| Aethershot Rifle (Dead-Eye Lund) | Missile | 18" | 4 | 3+ | 4+ | -1 | 1 | |
| Arkanaut Cutter (Garodd Alensen) | Melee | 1" | 2 | 4+ | 4+ | - | 1 | |
| Gun Butt (Enrik Ironhail and Dead-Eye Lund) | Melee | 1" | 2 | 4+ | 5+ | - | 1 | |
| Privateer Pistol (Garodd Alensen) | Missile | 12" | 2 | 4+ | 4+ | - | 1 | |
| Skypike (Khazgan Drakkskewer) | Melee | 2" | 3 | 4+ | 4+ | -1 | D3 | |
| Vulcaniser Pistol (Khazgan Drakkskewer) | Missile | 9" | 1 | 3+ | 3+ | -1 | 1 |
Categories: Battalion
Battalion Abilities: Lightning-fast Volleys, Marked for Destruction
Selections: 3 Endrinriggers [120pts]
Categories: DUARDIN, ENDRINRIGGERS, SKYFARERS, KHARADRON OVERLORDS, ORDER, Other
Unit: Endrinrigger, Unit Abilities: Endrincraft, Fly, Hitchers, Mizzenmaster, Weapon: Aethermatic Saw (Mizzenmaster)
Selections: 3 Prosecutors
Categories: CELESTIAL, HUMAN, ANGELOS, ORDER, STORMCAST ETERNALS, PROSECUTORS
Unit: Prosecutor with Celestial Hammers, Unit Abilities: Fly, Heralds of Righteousness, Prosecutor-Prime, Weapon: Celestial Hammers
Selections: 3 Prosecutors
Categories: ANGELOS, CELESTIAL, HUMAN, ORDER, STORMCAST ETERNALS
Unit: Prosecutor with Stormcall Javelins, Unit Abilities: Fly, Heralds of Righteousness, Prosecutor-Prime, Sigmarite Shields, Stormcall Javelin, Weapon: Stormcall Javelin, Stormcall Javelin (Melee)
Selections: 3 Prosecutors
Categories: ANGELOS, CELESTIAL, HUMAN, ORDER, STORMCAST ETERNALS
Unit: Prosecutor with Stormcall Javelins, Unit Abilities: Fly, Heralds of Righteousness, Prosecutor-Prime, Sigmarite Shields, Stormcall Javelin, Weapon: Stormcall Javelin, Stormcall Javelin (Melee)
Selections: 3 Skywardens [100pts]
Categories: DUARDIN, SKYWARDENS, SKYFARERS, KHARADRON OVERLORDS, ORDER, Other
Unit: Skywarden, Unit Abilities: Custodian, Fly, Hitchers, Skymines, Timed Charges, Weapon: Skypike (Custodian)
Selections: 3 Skywardens [100pts]
Categories: DUARDIN, SKYWARDENS, SKYFARERS, KHARADRON OVERLORDS, ORDER, Other
Unit: Skywarden, Unit Abilities: Custodian, Fly, Hitchers, Skymines, Timed Charges, Weapon: Skypike (Custodian)
| Battalion Abilities | Battalion Ability Details | Ref |
|---|---|---|
| Lightning-fast Volleys | In each of your hero phases, you can choose a single unit (other than the Knight-Venator) from this battalion to make shooting attacks as if it were your shooting phase. A unit may only do so if two or more other units from this battalion are within 6". | |
| Marked for Destruction | In any of your hero phases, the Knight-Venator from this battalion can loose their Star-fated Arrow as if it were your shooting phase. If this attack hits but the target unit is not slain, units from this battalion add 1 to their hit rolls against that unit for the remainder of the battle. |
| Unit | Move | Wounds | Bravery | Save | Ref |
|---|---|---|---|---|---|
| Endrinrigger | 12" | 2 | 7 | 4+ | |
| Prosecutor with Celestial Hammers | 12" | 2 | 6 | 4+ | |
| Prosecutor with Stormcall Javelins | 12" | 2 | 6 | 4+ | |
| Skywarden | 12" | 2 | 7 | 4+ |
| Unit Abilities | Ability Details | Ref |
|---|---|---|
| Custodian | The leader of this unit is a Custodian. A Custodian makes 3 attacks rather than 2 with their Skypike. | |
| Endrincraft | In each of your hero phases, a unit of Endrinriggers can repair a single SKYVESSEL within 1" or the one they are embarked upon. That SKYVESSEL immediately heals 1 wound. | |
| Fly | This unit can fly. | |
| Heralds of Righteousness | Roll 3 dice instead of 2 dice when determining the charge move for this unit. In addition, you can declare a charge with this unit if it is within 18" of the enemy rather then 12" | |
| Hitchers | This unit does not count towards the maximum number of SKYFARERS that can be embarked on a SKYVESSEL, and is not counted for the Overburdened rule. | |
| Mizzenmaster | The leader of this unit is a Mizzenmaster. A Mizzenmaster makes 2 attacks rather than 1 with their Aethermatic Saw. | |
| Prosecutor-Prime | The leader of this unit is the Prosecutor-Prime. Trained for brutal melee, he makes 3 attacks rather than 2 in the combat phase. | |
| Sigmarite Shields | You can re-roll save rolls of 1 for this unit. | |
| Skymines | Skywardens surround themselves with airborne mines that explode on contact. When an enemy unit that can fly ends its charge within 1" of any units of Skywardens, roll a dice for each model in the charging unit. On each roll of 6 the unit suffers a mortal wound. | |
| Stormcall Javelin | If a Prosecutor throws a Stormcall Javelin at a unit over 9" away, the Javelin calls down a bolt of lightning; that attack has Damage 2 instead of 1 | |
| Timed Charges | Skywardens are practised at striking hard and then retreating quickly amidst timed explosions to cause massive confusion and damage. When a unit of Skywardens retreats, before moving the unit, roll a dice for each enemy unit within 3". On a roll of 6 that unit suffers a mortal wound. |
| Weapon | Type | Range | Attacks | To Hit | To Wound | Rend | Damage | Ref |
|---|---|---|---|---|---|---|---|---|
| Aethermatic Saw (Mizzenmaster) | Melee | 1" | 2 | 3+ | 2+ | -2 | D3 | |
| Celestial Hammers | Ranged | 18" | 2 | 4+ | 4+ | - | 1 | |
| Skypike (Custodian) | Melee | 2" | 3 | 4+ | 3+ | -1 | D3 | |
| Stormcall Javelin | Missile | 18" | 1 | 3+ | 3+ | - | 1 | |
| Stormcall Javelin (Melee) | Melee | 1" | 1 | 4+ | 4+ | - | 1 |
Categories: Allegiance
Selections: Barak-Nar, City of the First Sunrise
Rules: WARSCROLL BATTALIONS
Battle Trait: Scholars and Commanders, The Kharadron Code: Respect Your Commanders, Through Knowledge, Power, Trust Aethermatics, Not Superstition
| Battle Trait | Battle Trait Details | Ref |
|---|---|---|
| Scholars and Commanders | Add 1 to any unbinding rolls made for Barak-Nar HEROES. |
| The Kharadron Code | Effect | Ref |
|---|---|---|
| Respect Your Commanders | You can re-roll battleshock tests for your units while they are within 8" of a HERO from your army. | |
| Through Knowledge, Power | Once per battle, in your opponent’s hero phase, your HEROES can each attempt to unbind one additional spell. | |
| Trust Aethermatics, Not Superstition | Your HEROES can attempt to unbind one spell in each enemy hero phase as if they were wizards. If they can already attempt to unbind a spell, they can attempt to unbind one extra spell. | Order Official FAQs and errata, Version 1.4 p1 |
Categories: Allegiance
Selections: Endless Skies
Battle Trait: Stick to the Code
| Battle Trait | Battle Trait Details | Ref |
|---|---|---|
| Stick to the Code | When you choose a Kharadron Overlords army that is not from one of the six major sky-ports, you can pick an artycle, an amendment and a footnote that most suit the background of your army from the list. Alternatively, you can roll a dice on each table to determine your army’s interpretation of the Kharadron Code. |
Categories: Allegiance
Selections: Barak-Mhornar, City of Shadow
Rules: WARSCROLL BATTALIONS
Battle Trait: Fearsome Raiders, The Kharadron Code: Prosecute Wars With All Haste, Seek New Prospects, Who Strikes First, Strikes Hardest
| Battle Trait | Battle Trait Details | Ref |
|---|---|---|
| Fearsome Raiders | Enemy units that take a battleshock test within 3" of any Barak-Mhornar units must add 1 to the roll. |
| The Kharadron Code | Effect | Ref |
|---|---|---|
| Prosecute Wars With All Haste | In your first turn, your units can run and shoot. | |
| Seek New Prospects | You can re-roll battleshock tests for your units while they are wholly within your opponent’s territory. | |
| Who Strikes First, Strikes Hardest | Once per battle, in your hero phase, one of your units can attempt to charge as if it were the charge phase, or pile in and attack as if it were the combat phase. |
Selections: 2000 Points - Battlehost
Categories: Game Options, Battlehost
Selections: 2000 Points - Battlehost
Categories: Game Options, Battlehost
Categories: Game Options
Categories: Realm of Origin
Categories: ENDLESS SPELL, LAUCHON THE SOULSEEKER, SHYISH, Malign Sorcery
Spell: Summon Lauchon the Soulseeker, Unit Abilities: Empowered by Shyish, Fly, Navigate Deathly Tides, Predatory, Soul Price
| Spell | Casting Value | Description | Ref |
|---|---|---|---|
| Summon Lauchon the Soulseeker | 6 | If successfully cast, set up a Lauchon the Soulseeker model wholly within 12" of the caster. |
| Unit Abilities | Ability Details | Ref |
|---|---|---|
| Empowered by Shyish | If your battle is taking place in the Realm of Death, this model can move up to 18" instead of up to 12". | |
| Fly | This unit can fly. | |
| Navigate Deathly Tides | When this model is set up, the player who set it up can immediately make a move with it. | |
| Predatory | Lauchon the Soulseeker is a predatory endless spell. It can move up to 12" and can fly. | |
| Soul Price | Before a player makes a move with this model, that player can pick a friendly unit wholly within 3" of this model. Remove that unit and place it to one side. After this model has moved, set that unit up again wholly within 3" of this model and more than 9" from any enemy units. Once that unit has been set up, 1 model from that unit is immediately slain. |
Categories: Command Points
Categories: Realm of Battle
Categories: PENUMBRAL, PENUMBRAL ENGINE, SCENERY, STORMVAULT
Unit Abilities: Deteriorating State, Repercussion of the Necroquake
| Unit Abilities | Ability Details | Ref |
|---|---|---|
| Deteriorating State | At the start of each battle round after the first, roll a dice. On a 1-4 nothing happens. On a 5 or 6 the function that currently applies to all PENUMBRAL terrain features is replaced with the other function (see ‘Repercussions of the Necroquake’). | |
| Repercussion of the Necroquake | At the start of the first battle round, after determining who has the first turn, roll a dice and consult the table on the right to determine which function all PENUMBRA terrain features on the battlefield gain for the duration of the battle. 1-3: Orrey of Obfuscation: Re-roll save rolls of 1 for attacks that target units wholly within 12" of any Penumbral terrain features. 4-6: Orrey of Illumination: At the start of your hero phase, you receive 1 extra command point if any friendly HEROES are within 12" of any PENUMBRAL terrain features. |
WARSCROLL BATTALIONS: A Barak-Mhornar Grundstok Escort Wing (pg 129) can include up to one additional Grundstok Gunhauler. ()
Created with BattleScribe


1. Choose the data-sets that you want to visualize.
This histogram shows the distribution for how countries are covered by the given variables. Click bins to
apply a filter to all variables shown below. Click on variables in the tree below to select or deselect a variable.
2. Select a point in time. There is some data from {{timeExtent.minLabel}} to {{timeExtent.maxLabel}}.
This chart shows for which years data is available for what variable. The height of the
bars depicts the number of countries with available data. You can select a point in time with the vertical purple handle.
3. Use the parallel coordinates to filter outliers and other unwanted countries. Select countries (each line a country) by clicking and
dragging vertically (brushing) on an axis."
The parallel coordinates show country data for all selected variables at the selected point in time. You can modify axises with the small arrows. Select countries by brushing along an axis.
4. Observe and further select countries on a map.
{{ dim }}
Show selections
Shows selected countries and a choropleth for a single variable for the selected year. Select countries by clicking on them. The choropleth variable can be chosen, the choropleth and
display of selected countries can be disabled.
0)">
Use the charts above to select a set of countries to visualize set countries.
0">
5. Analyse the data of the selected countries. Select via clicking and dragging (brushing).
Click the colored boxes to switch the selection color."
A scatter plot that shows how each country evolves over time. Only shows data when available for both data points. This chart is independent of the selected year.
Regular scatter plots. You can select countries by brushing. You can change the shown variables. You can use the colored boxes
to create multiple selections.
A summary for the current selections
Selected variables:
Selected year: {{selectedYear}}
JSON:
{{selectionToJSON(selectedYear, selectedVariables, selectedCountries)}}


Class: Celluloid::Timer
- Inherits:
-
Object
- Object
- Celluloid::Timer
- Includes:
- Comparable
- Defined in:
- lib/celluloid/timers.rb
Overview
An individual timer set to fire a given proc at a given time
Constant Summary
- QUANTUM =
The timer system is guaranteed (at least by the specs) to be this precise during normal operation. Long blocking calls within actors will delay the firing of timers
0.02
Instance Attribute Summary (collapse)
-
- (Object) interval
readonly
Returns the value of attribute interval.
-
- (Object) time
readonly
Returns the value of attribute time.
Instance Method Summary (collapse)
- - (Object) <=>(other)
-
- (Object) cancel
Cancel this timer.
-
- (Object) fire
(also: #call)
Fire the block.
-
- (Timer) initialize(timers, interval, block)
constructor
A new instance of Timer.

Constructor Details
- (Timer) initialize(timers, interval, block)
A new instance of Timer
80 81 82 83 84 85 |
# File 'lib/celluloid/timers.rb', line 80 def initialize(timers, interval, block) @timers, @interval = timers, interval @block = block reset end |
Instance Attribute Details
- (Object) interval (readonly)
Returns the value of attribute interval
78 79 80 |
# File 'lib/celluloid/timers.rb', line 78 def interval @interval end |
- (Object) time (readonly)
Returns the value of attribute time
78 79 80 |
# File 'lib/celluloid/timers.rb', line 78 def time @time end |
Instance Method Details
- (Object) <=>(other)
87 88 89 |
# File 'lib/celluloid/timers.rb', line 87 def <=>(other) @time <=> other.time end |
- (Object) cancel
Cancel this timer
92 93 94 |
# File 'lib/celluloid/timers.rb', line 92 def cancel @timers.cancel self end |
- (Object) fire Also known as: call
Fire the block
104 105 106 |
# File 'lib/celluloid/timers.rb', line 104 def fire @block.call end |
- (Object) reset
Reset this timer
97 98 99 100 101 |
# File 'lib/celluloid/timers.rb', line 97 def reset @timers.cancel self if defined?(@time) @time = Time.now + @interval @timers.insert self end |


A person or organization work can be done for.
| Property | Type | Required | Initializable | Editable | Description | |
|---|---|---|---|---|---|---|
| Name | String | ✔ | ✔ | ✔ |
|
| Relationship | Related Entity | Required | Multiple | Navigable | Description | |
|---|---|---|---|---|---|---|
| Projects | Project | - | ✔ | ✔ |
|
|
| Invoices | Invoice | - | ✔ | ✔ |
|
|
| Open Invoices | Invoice | - | ✔ | ✔ |
|
| Action | Parameters | Description | |||
|---|---|---|---|---|---|
| New Project (public) | Description (String) |
|
|||
| Open Invoice (public) | - |
|
A project provides a context for work entries.
| Property | Type | Required | Initializable | Editable | Description | |||
|---|---|---|---|---|---|---|---|---|
| Description | String | ✔ | ✔ | ✔ |
|
|||
| Units Reported | Integer | - | - | - |
|
|||
| Units To Submit | Integer | - | - | - |
|
| Relationship | Related Entity | Required | Multiple | Navigable | Description | |
|---|---|---|---|---|---|---|
| Reported | Entry | - | ✔ | ✔ |
|
|
| To Submit | Entry | - | ✔ | ✔ |
|
|
| Client | Client | - | - | ✔ |
|
| Action | Parameters | Description | |||
|---|---|---|---|---|---|
| Add Entry (public) | Units (Integer) Description (Memo) |
|
An invoice describes work done for a client within one or more projects.
| Property | Type | Required | Initializable | Editable | Description | |||
|---|---|---|---|---|---|---|---|---|
| Moniker | String | - | - | - |
|
|||
| Number | String | - | - | - |
|
|||
| Issue Date | Date | ✔ | ✔ | ✔ |
|
|||
| Open | Boolean | - | - | - |
|
|||
| Issued | Boolean | - | - | - |
|
|||
| Received | Boolean | - | - | - |
|
|||
| Status | Status | - | - | - |
|
|||
| Total Units | Integer | - | - | - |
|
| Relationship | Related Entity | Required | Multiple | Navigable | Description | |
|---|---|---|---|---|---|---|
| Client | Client | ✔ | - | ✔ |
|
|
| Submitted | Entry | - | ✔ | ✔ |
|
| Action | Parameters | Description | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Cancel (public) | - |
|
|||||||||
| Issue (public) | - |
|
|||||||||
| Reassign (public) | New Client (Client) |
|
| Property | Type | Required | Initializable | Editable | Description | |||
|---|---|---|---|---|---|---|---|---|
| Units | Integer | ✔ | ✔ | ✔ |
|
|||
| Date | Date | ✔ | ✔ | ✔ |
|
|||
| Memo | Memo | - | ✔ | ✔ |
|
|||
| Submitted | Boolean | - | - | - |
|
| Relationship | Related Entity | Required | Multiple | Navigable | Description | |
|---|---|---|---|---|---|---|
| Project | Project | ✔ | - | ✔ |
|
|
| Client | Client | - | - | ✔ |
|
|
| Invoice | Invoice | - | - | ✔ |
|
| Action | Parameters | Description | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Submit (public) | Invoice (Invoice) |
|
| Name | Description | Transitions |
|---|---|---|
| Open | - |
|
| Issued | - |
|
| Received | - |
|
| Cancelled | - |
|


Google Releases YouTube TV Streaming Service In 5 US Cities
Trending News: YouTube TV Is Cool, But It's Not Worth Cutting The Cord Over, Yet
Long Story Short
Google launched its YouTube live TV streaming service with more than 40 channels including sports and news. But, it's still not worth cutting your cable service for.
Long Story
Sorry Google fans, but YouTube hasn't swooped in and made the streaming subscription to end all cable subscriptions. Allow me to explain.
But first, the details. Google revealed its highly-anticipated streaming service YouTube TV, which will allow you to watch live sports, news and shows from your phone, tablet, computer or on your TV via Chromecast. It will come with 40 channels including ABC, CBS, FOX, NBC, including their local networks, as well as AMC (Breaking Bad and Mad Men FTW). And it'll have live sports via FOX as well as ESPN and local sports as well as news.
A cool feature with YouTube TV is its cloud-based DVR service, which stores the shows and movies you want to watch later in the cloud (with a storage limit).
Unlike the YouTube we know and love, YouTube TV is a monthly subscription service costing $35/month. However, it's free for 30 days while you try it out and if you do stick around after the first month, you'll get a free Chromecast (while supplies last).
Anyone who has used Netflix, HBO Go or any of the major streaming services knows that the main drawback is the fact that they don't show those must-watch cultural events like the NCAA National Championship or the Oscars. In theory, YouTube TV should fix that, except that it doesn't. At least not yet.
At $35 per month, the service is indeed cheaper than many cable packages, but that's cause it has way less channels and it's missing some key networks. No MTV, HGTV, CNN, Comedy Central or TNT.
If you look over at the competition, yes, there are already live TV streaming services including Sling TV, Playstation Vue and DirectTV Now, you can get a lot of those channels for a similar price.
But if they're similar in price, why not just go with trusted old Google? Because you most likely can't. While other streaming services are nationwide, YouTube TV is only available in five metropolitan areas — New York, Los Angeles, San Francisco Bay Area, Chicago and Philadelphia.
Plus, the other options will work on your Roku, Amazon Fire TV or Apple TV, but YouTube TV only works with Chromecast. At least for now.
Because of its lack of channels, unavailability in most areas and the fact that it won't play nice with your streaming devices, YouTube TV isn't something you should cut the cord for. However, those don't feel like irreparable problems as Google gains partnerships with networks and rolls out more widely. So, hold off, but one day we might all be watching YouTube TV in our Google smart homes with Google balloons floating overhead.
Own The Conversation
Ask The Big Question
Will YouTube TV be the streaming service to kill off cable?
Drop This Fact
As of last summer, a quarter of U.S. households don't have TV services.
Comments


About Etherblk
ETHERBLACK INDUSTRIES IS A GROUP OF CREATORS STREWN ACROSS THE WORLD.
WE WORK IN UNISON TO CREATE ELEMENTS FOR BRANDS AND INDIVIDUALS THAT COMMUNICATE TO THE DIGITAL AGE IN THE MOST TANGIBLE WAY.
IT'S AS MUCH ABOUT MAKING THAT CONNECTION BETWEEN PEOPLE AND TECHNOLOGY AS IT IS ABOUT CREATING SOMETHING WE CAN BE PROUD TO SHARE WITH THE WORLD.
 IT TAKES A GREAT DEAL OF UNDERSTANDING OF THE RELATIONSHIP WE HAVE WITH THE THINGS WE CONSUME.
Hire Us
Founder & Chief Creative
Jeremy Richie
Web Wizardry
Brian Maier Jr.
Director of Photography


Closing
Application
Application close: verify (OK/Cancel)
Windows shutdown/log off: verify (OK/Cancel)
Connection window
Connection close: verify (OK/Cancel)
Default connection close message:
Channel/query window
Channel leave: verify (OK/Cancel)
Default channel leave message:
Display
Main window
Save position on close / Open with last position
Stay on top
Transcript display
Rotation: block size (# lines)
Rotation: block count (# blocks)
» Maximum # lines on display:
Highlight
IRC
Notices
Send
NOTICE
messages to:
target by sender
connection window


At FanFest, we at CCP focus on introducing new games and aspects to those games. Valkyrie has been our primary project for a long time now and we are proud to say that this game provides you with complete immersive virtual experience. Valkyrie has been developed in VR and is a popular game and it´s popularity is still growing. Come join us at FanFest and play Valkyrie!
At FanFest, we at CCP focus on introducing new games and aspects to those games. On FanFest 2017, Gunjack comes new and improved with the sequel, Gunjack 2:End of Shift! in the making. On a space carrier in the vast open nothingness of space, you are the gunjack and your mission is to defend your ship from all harm. Gunjack has been modifyed to support even more mobile devices than before! Come join us at FanFest and play Valkyrie!


Home
About
Photos
College
Contact
The bird is flying
Alone man at the Sea-beach
Lovely moment
Winter Morning
Star in the Sky
Wing of aeroplane
Gorgeous Photography
Laptop
Work Station
Lovely Environment


I'm passionate about creating projects and study new technologies.
I enjoy writing fron-end and back-end code in JavaScript.
Himalayas, Aconcagua Ph:+1 123 121341 Github


R
eact,
G
raphQL, and
R
elay
Loading...
This site is built with Relay.js, GraphQL, and React.js.
Contributions are most welcome.
Fork us
Watch how this site started from scratch in
this Pluralsight course


Our Process
We follow the following steps when developing applications.
Identifying a common problem is always the creative stage of app development. Once we identify a problem, we design our app with sketches and do surveys to ensure functionality and user experience.
The development phase encompasses the confluence of software development and design. We follow our design guidelines completely before adding additional features.
The software undergoes A/B testing before it is launched and ready to use by the target audience.
What We Use
We are always excited to use new platforms, languages, and paradigms to solve problems.
Mobile Apps
We do native mobile app development Swift and Java, and also hybrid app-development using the Ionic Framework.
Websites
We use pure HTML and CSS along with amazing Javascript libraries to build websites of many cool, responsive websites.
Games
Game development is the most fun and interactive type of all! We use Unity for creating games to using virtual reality.


BasicObject
# File spec/quality_spec.rb, line 19 def check_for_extra_spaces(filename) failing_lines = [] File.readlines(filename).each_with_index do |line,number| next if line =~ /^\s+#.*\s+\n$/ failing_lines << number + 1 if line =~ /\s+\n$/ end unless failing_lines.empty? "#{filename} has spaces on the EOL on lines #{failing_lines.join(', ')}" end end
# File spec/quality_spec.rb, line 8 def check_for_tab_characters(filename) failing_lines = [] File.readlines(filename).each_with_index do |line,number| failing_lines << number + 1 if line =~ /\t/ end unless failing_lines.empty? "#{filename} has tab characters on lines #{failing_lines.join(', ')}" end end
# File spec/bundler/gem_helper_spec.rb, line 49 def mock_build_message mock_confirm_message "test 0.0.1 built to pkg/test-0.0.1.gem." end
# File spec/bundler/gem_helper_spec.rb, line 45 def mock_confirm_message(message) Bundler.ui.should_receive(:confirm).with(message) end
# File spec/spec_helper.rb, line 73 def pending_jruby_shebang_fix pending "JRuby executables do not have a proper shebang" if RUBY_PLATFORM == "java" end
# File spec/install/gems/simple_case_spec.rb, line 415 def set_bundle_path(type, location) if type == :env ENV["BUNDLE_PATH"] = location elsif type == :global bundle "config path #{location}", "no-color" => nil end end
# File spec/lock/lockfile_spec.rb, line 744 def set_lockfile_mtime_to_known_value time = Time.local(2000, 1, 1, 0, 0, 0) File.utime(time, time, bundled_app('Gemfile.lock')) end
# File spec/other/platform_spec.rb, line 187 def should_be_engine_incorrect(opts = {:exitstatus => true}) expect(exitstatus).to eq(18) if opts[:exitstatus] expect(out).to be_include("Your Ruby engine is #{local_ruby_engine}, but your Gemfile specified #{not_local_tag}") end
# File spec/other/platform_spec.rb, line 192 def should_be_engine_version_incorrect(opts = {:exitstatus => true}) expect(exitstatus).to eq(18) if opts[:exitstatus] expect(out).to be_include("Your #{local_ruby_engine} version is #{local_engine_version}, but your Gemfile specified #{local_ruby_engine} #{not_local_engine_version}") end
# File spec/other/platform_spec.rb, line 182 def should_be_ruby_version_incorrect(opts = {:exitstatus => true}) expect(exitstatus).to eq(18) if opts[:exitstatus] expect(out).to be_include("Your Ruby version is #{RUBY_VERSION}, but your Gemfile specified #{not_local_ruby_version}") end
# File spec/other/clean_spec.rb, line 4 def should_have_gems(*gems) gems.each do |g| expect(vendored_gems("gems/#{g}")).to exist expect(vendored_gems("specifications/#{g}.gemspec")).to exist expect(vendored_gems("cache/#{g}.gem")).to exist end end
# File spec/other/clean_spec.rb, line 12 def should_not_have_gems(*gems) gems.each do |g| expect(vendored_gems("gems/#{g}")).not_to exist expect(vendored_gems("specifications/#{g}.gemspec")).not_to exist expect(vendored_gems("cache/#{g}.gem")).not_to exist end end
Generated with the Darkfish Rdoc Generator 2.


2017 Synopsys Championship:
Teacher Contact Information
Teacher Information
Teacher Honorific
*
Teacher First Name
*
Teacher Last Name
*
Teacher Email Address
*
re-enter email address


AutoSMS
Send free SMS text messages, using your device's wifi or data connection.
Recipient's Carrier:
Please select a carrier
Recipient's Number:
Message:
Enter CAPTCHA code into text field below:


awakening your sensory
Capturing your ordinary moments by recognizing your surroundings
Mia Kim
have you ever looked around the surroundings when you walk?
what can you capture from the everyday surrounding?
Combination of complexity and clarity
_Redefines what usually creates an in- and out-side
Utopia
which is tied to our ‘now’, a potential that is actualized and transformed into reality; an opening where subject and object, inside and outside, proximity and distance are thrown up in the air and redefined.
Changeability and mobility are at the core of utopia.
total budget??
- fog machine
- arduino
- sensors to detect the motion
- lighiting system
schedule
week5: Concept development
week6: Design the interaction
week7: Development of interface software
week8: Physical model prototyping
week9: Development of physical model
week10: testing
week11: prep
August 30th: Installation
challenges and questions
What kind of sensory experience do you want people to experience?
How can you expect the other senses active?
Does this project require's live/recorded people’s participation?
Previous interactions effects the next interactions?
Does this piece look different over time?
What scale do you want to work with?
How are you going to install?
What kind of software and language you need to use?
What kind of space do I need to create it?
What material do you want to use?


--- layout: post title: The easy way to show what you're worth tags: - Work Practices status: publish type: post published: true meta: _edit_last: '451289' --- How To Ask For (And Get) A Raise Like a Man | The Art of Manliness
"Ensure people know your value"This often quoted phrase is rarley followed up with anything except generalisations. The easy way to show everyone how valuable you are is to write a simple weekly email for your manager (and anyone involved in your current projects). It should have four main headings:


|
|
The most important parts of Virtual Qmail package are presented here.
-
Virtual Qmail represents to core of a system.
It's a set of programs (and libraries) allowing to manage system from CLUE.
-
Vqwww is the framework for allowing access to the vq system via WWW pages (using CGI).
-
Freemail is a set of modules for vqwww and additional programs
allowing to create site hosting free e-mail accounts.
-
Hosting is a set of programs and modules for vqwww that can be used to create
hosting system (manage users, WWW aliases, FTP access, etc.)
|
|


About eAbsentee
eAbsentee was created to allow voters to apply for an absentee ballot with ease. More information about us can be found here .
About Electronically Signed Absentee Ballots
On May 13, 2015, the Virginia State Board of Elections approved Republican Speaker Bill Howell's request to authorize the acceptance of electronically-signed absentee ballot applications. His primary challenger sued the State Board of Elections and was rejected by the Stafford County Circuit Court before the June primary date. On July 1, 2015, Innovate Virginia PAC made an electronic ballot application available to all Virginians. The Republican Party of Virginia posted their own portal later in the summer and later that Fall, the Virginia Department of Elections posted an official portal on the state website. Over the last four years, several different organizations created their own portals, including Vote Absentee Virginia.
Further details can be found here. "Challenger to Va. House speaker accuses," Washington Post, May 21, 2015 "Challenger to Va. House speaker sues," Washington Post, May 27, 2015 "Judge refuses to intervene," Fredericksburg.com, June 5, 2015 "Using Technology to enhance campaigns," Medium.com, June 9, 2016


Google Code offered in: English - Español - 日本語 - 한국어 - Português - Pусский - 中文(简体) - 中文(繁體)
Browsers provide an interface to examine and manipulate the on-screen elements using the DOM (Document Object Model). Traditionally, JavaScript programmers use the DOM to program the user interface portion of their logic, and traditionally, they have had to account for the many differences in the implementation of the DOM on different browsers.
So that you don't have to worry (generally) about cross-browser support when implementing user interfaces, GWT provides a set of widget and panel classes that wrap up this functionality. But sometimes you need to access the DOM. For example, if you want to:
GWT provides the classes in the DOM package for interacting with the DOM directly. These classes provide statically-typed interfaces for interacting with DOM objects, as well as a degree of cross-browser abstraction.
Each widget and panel has an underlying DOM element that you can access with the getElement() method. You can use the getElement() method to get the underlying element from the DOM.
The following example shows how to set a style attribute to change a widget's background color.
private HTML htmlWidget; // Other code to instantiate the widget... // Change the description background color. htmlWidget.getElement().getStyle().setBackgroundColor("#ffee80");
Here, the getElement() method derived from the Widget superclass returns a DOM Element object representing a node in the DOM tree structure and adds a style attribute to it.
This is an example where using the DOM isn't absolutely necessary. An alternative approach is to use style sheets and associate different style classes to the widget using the setStylePrimaryName() or setStyleName() method instead.
The following example shows how to combine a JSNI method with Java code to manipulate the DOM. First, we have a JSNI routine that will retrieve all the child elements that are Anchor tags. The element objects are assigned a unique ID for easy access from Java:
/** * Find all child elements that are anchor tags, * assign a unique id to them, and return a list of * the unique ids to the caller. */ private native void putElementLinkIDsInList(Element elt, ArrayList<String> list) /*-{ var links = elt.getElementsByTagName("a"); for (var i = 0; i < links.length; i++ ) { var link = links.item(i); link.id = ("uid-a-" + i); list.@java.util.ArrayList::add(Ljava/lang/Object;) (link.id); } }-*/;
And what could you possibly do with a DOM element once you have found it? This code iterates through all the anchor tags returned from the above method and then rewrites where it points to:
/** * Find all anchor tags and if any point outside the site, * redirect them to a "blocked" page. */ private void rewriteLinksIterative() { ArrayList<String> links = new ArrayList<String>(); putElementLinkIDsInList(this.getElement(), links); for (int i = 0; i < links.size(); i++) { Element elt = Document.get().getElementById(links.get(i)); rewriteLink(elt, "www.example.com"); } } /** * Block all accesses out of the website that don't match 'sitename' * @param element An anchor link element * @param sitename name of the website to check. e.g. "www.example.com" */ private void rewriteLink(Element element, sitename) { String href = element.getPropertyString("href"); if (null == href) { return; } // We want to re-write absolute URLs that go outside of this site if (href.startsWith("http://") && !href.startsWith("http://"+sitename+"/") { element.setPropertyString("href", "http://"+sitename+"/Blocked.html"); } }
The JSNI method sets an ID on each element which we then used as an argument to Document.getElementById(id) to fetch the Element in Java.
GWT contains an Event class as a typed interface to the native DOM Event.
This example shows how to use the DOM methods to catch a keyboard event for particular elements and handle them before the event gets dispatched:
private ArrayList<Element> keyboardEventReceivers = new ArrayList<Element>(); /** * Widgets can register their DOM element object if they would like to be a * trigger to intercept keyboard events */ public void registerForKeyboardEvents(Element e) { this.keyboardEventReceivers.add(e); } /** * Returns true if this is one of the keys we are interested in */ public boolean isInterestingKeycode(int keycode) { // ... return false; } /** * Setup the event preview class when the module is loaded. */ private void setupKeyboardShortcuts() { // Define an inner class to handle the event Event.addNativePreviewHandler(new NativePreviewHandler() { public void onPreviewNativeEvent(NativePreviewEvent preview) { NativeEvent event = preview.getNativeEvent(); Element elt = event.getEventTarget().cast(); int keycode = event.getKeyCode(); boolean ctrl = event.getCtrlKey(); boolean shift = event.getShiftKey(); boolean alt = event.getAltKey(); boolean meta = event.getMetaKey(); if (event.getType().equalsIgnoreCase("keypress") || ctrl || shift || alt || meta || keyboardEventReceivers.contains(elt) || !isInterestingKeycode(keycode)) { // Tell the event handler to continue processing this event. return; } GWT.log("Processing Keycode" + keycode, null); handleKeycode(keycode); // Tell the event handler that this event has been consumed preview.consume(); } }); } /** * Perform the keycode specific processing */ private void handleKeycode(int keycode) { switch (keycode) { // ... } }


Blue Jackets-Coyotes Sums
by EndPlayFirst Period_1, Columbus, Nyquist 3 (Bjorkstrand, Jones), 0:14. 2, Arizona, Soderberg 5 (Lyubushkin), 11:24. Penalties_Harrington, CBJ, (tripping), 8:42; Hayton, ARI, (tripping), 16:35; Lyubushkin, ARI, (holding), 19:52.
Second Period_3, Arizona, Chychrun 3 (Grabner, Hinostroza), 12:04. 4, Columbus, Bemstrom 1 (Atkinson, Nyquist), 17:36 (pp). Penalties_Goligoski, ARI, (tripping), 17:04; Chychrun, ARI, (cross checking), 18:50; Dubois, CBJ, (roughing), 18:50.
Third Period_5, Columbus, Bjorkstrand 4 (Nyquist, Dubois), 10:12. Penalties_Texier, CBJ, (interference), 2:33; Keller, ARI, (tripping), 5:23; Gavrikov, CBJ, (hooking), 18:12.
Shots on Goal_Columbus 9-14-10_33. Arizona 16-7-9_32.
Power-play opportunities_Columbus 1 of 4; Arizona 0 of 3.
Goalies_Columbus, Korpisalo 6-6-1 (32 shots-30 saves). Arizona, Kuemper 7-4-0 (33-30).
A_12,115 (17,125). T_2:21.
Referees_Mitch Dunning, Tim Peel. Linesmen_Scott Driscoll, Bevan Mills.


| I l@ve RuBoard |
While most Python communications happen electronically, the PSA also organizes periodic conferences. These conferences are the only forum where many folks get to meet their email colleagues.[B] They're also an important forum for presenting new work, learning about aspects of Python by attending tutorials and talks, and a place for discussions on the future directions of Python. Information about the conferences is regularly posted on the newsgroup as well as displayed on the main Python web site. Locations of past conferences have included Washington, DC; San Jose and Livermore, CA; and Houston, TX.
[B] So far, your two authors have only met in person at Python conferences!
| I l@ve RuBoard |


Hi!! I am Luis, a computer scientist passionate about technology. I speak Portuguese, English and German, and I'm about to finish my master degree in one of the best universities of Brazil. So far, I've been able to work with a variety of technologies, as you can see in some of my projects on GitHub. Please feel free to get in touch!
Belo Horizonte, Brazil - 26 years old


| Method of | DdNode |
| Prototype | DdNode AdjPermuteX (self, DdArray x, int n) |
| See Also | Cudd_bddPermute Cudd_bddSwapVariables Cudd_Dxygtdxz Cudd_Dxygtdyz |
| Method of | DdNode |
| Prototype | DdNode And (self, DdNode g) |
| See Also | Cudd_bddIte Cudd_bddAndAbstract Cudd_bddIntersect Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor |
| Method of | DdNode |
| Prototype | DdNode AndAbstract (self, DdNode g, DdNode cube) |
| See Also | Cudd_addMatrixMultiply Cudd_addTriangle Cudd_bddAnd |
| Method of | DdNode |
| Prototype | DdNode AndAbstractLimit (self, DdNode g, DdNode cube, unsigned int limit) |
| See Also | Cudd_bddAndAbstract |
| Method of | DdNode |
| Prototype | DdNode AndLimit (self, DdNode g, unsigned int limit) |
| See Also | Cudd_bddAnd |
| Method of | DdNode |
| Prototype | DdApaNumber ApaCountMinterm (self, int nvars, IntArray digits) |
| See Also | Cudd_CountMinterm |
| Method of | DdNode |
| Prototype | int ApaPrintDensity (self, FILE fp, int nvars) |
| See Also |
| Method of | DdNode |
| Prototype | int ApaPrintMinterm (self, FILE fp, int nvars) |
| See Also | Cudd_ApaPrintMintermExp |
| Method of | DdNode |
| Prototype | int ApaPrintMintermExp (self, FILE fp, int nvars, int precision) |
| See Also | Cudd_ApaPrintMinterm |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) ApproxConjDecomp (self) |
| See Also | Cudd_bddApproxDisjDecomp Cudd_bddIterConjDecomp Cudd_bddGenConjDecomp Cudd_bddVarConjDecomp Cudd_RemapOverApprox Cudd_bddSqueeze Cudd_bddLICompaction |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) ApproxDisjDecomp (self) |
| See Also | Cudd_bddApproxConjDecomp Cudd_bddIterDisjDecomp Cudd_bddGenDisjDecomp Cudd_bddVarDisjDecomp |
| Method of | DdNode |
| Prototype | int BddToCubeArray (self, IntArray y) |
| See Also | Cudd_CubeArrayToBdd |
| Method of | DdNode |
| Prototype | DdNode BiasedOverApprox (self, DdNode b, int numVars, int threshold, double quality1, double quality0) |
| See Also | Cudd_SupersetHeavyBranch Cudd_SupersetShortPaths Cudd_RemapOverApprox Cudd_BiasedUnderApprox Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode BiasedUnderApprox (self, DdNode b, int numVars, int threshold, double quality1, double quality0) |
| See Also | Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_UnderApprox Cudd_RemapUnderApprox Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode BooleanDiff (self, int x) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode CProjection (self, DdNode Y) |
| See Also |
| Method of | DdNode |
| Prototype | DdArray CharToVect (self) |
| See Also | Cudd_bddConstrain |
| Method of | DdNode |
| Prototype | DdNode ClippingAnd (self, DdNode g, int maxDepth, int direction) |
| See Also | Cudd_bddAnd |
| Method of | DdNode |
| Prototype | DdNode ClippingAndAbstract (self, DdNode g, DdNode cube, int maxDepth, int direction) |
| See Also | Cudd_bddAndAbstract Cudd_bddClippingAnd |
| Method of | DdNode |
| Prototype | (DdNode, int distance) ClosestCube (self, DdNode g) |
| See Also | Cudd_MinHammingDist |
| Method of | DdNode |
| Prototype | DoubleArray CofMinterm (self) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode Cofactor (self, DdNode g) |
| See Also | Cudd_bddConstrain Cudd_bddRestrict |
| Method of | DdNode |
| Prototype | DdNode Complement (self) |
| See Also | Cudd_Regular Cudd_IsComplement |
| Method of | DdNode |
| Prototype | DdNode Compose (self, DdNode g, int v) |
| See Also | Cudd_addCompose |
| Method of | DdNode |
| Prototype | DdNode Constrain (self, DdNode c) |
| See Also | Cudd_bddRestrict Cudd_addConstrain |
| Method of | DdNode |
| Prototype | DdArray ConstrainDecomp (self) |
| See Also | Cudd_bddConstrain Cudd_bddExistAbstract |
| Method of | DdNode |
| Prototype | double Correlation (self, DdNode g) |
| See Also | Cudd_bddCorrelationWeights |
| Method of | DdNode |
| Prototype | double CorrelationWeights (self, DdNode g, DoubleArray prob) |
| See Also | Cudd_bddCorrelation |
| Method of | DdNode |
| Prototype | int CountLeaves (self) |
| See Also | Cudd_PrintDebug |
| Method of | DdNode |
| Prototype | double CountMinterm (self, int nvars) |
| See Also | Cudd_PrintDebug Cudd_CountPath |
| Method of | DdNode |
| Prototype | double CountPath (self) |
| See Also | Cudd_CountMinterm |
| Method of | DdNode |
| Prototype | double CountPathsToNonZero (self) |
| See Also | Cudd_CountMinterm Cudd_CountPath |
| Method of | DdNode |
| Prototype | int DagSize (self) |
| See Also | Cudd_SharingSize Cudd_PrintDebug |
| Method of | DdNode |
| Prototype | DdNode Decreasing (self, int i) |
| See Also | Cudd_Increasing |
| Method of | DdNode |
| Prototype | double Density (self, int nvars) |
| See Also | Cudd_CountMinterm Cudd_DagSize |
| Method of | DdNode |
| Prototype | int DumpBlif (self) |
| See Also | Cudd_DumpBlifBody Cudd_DumpDot Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm |
| Method of | DdNode |
| Prototype | int DumpDot (self) |
| See Also | Cudd_DumpBlif Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm |
| Method of | DdNode |
| Prototype | DdNode E (self) |
| See Also | Cudd_T Cudd_V |
| Method of | DdNode |
| Prototype | int EpdCountMinterm (self, int nvars, EpDouble epd) |
| See Also | Cudd_PrintDebug Cudd_CountPath |
| Method of | DdNode |
| Prototype | int EqualSupNorm (self, DdNode g, CUDD_VALUE_TYPE tolerance, int pr) |
| See Also |
| Method of | DdNode |
| Prototype | int EquivDC (self, DdNode G, DdNode D) |
| See Also | Cudd_bddLeqUnless |
| Method of | DdNode |
| Prototype | int EstimateCofactor (self, int i, int phase) |
| See Also | Cudd_DagSize Cudd_EstimateCofactorSimple |
| Method of | DdNode |
| Prototype | int EstimateCofactorSimple (self, int i) |
| See Also | Cudd_DagSize |
| Method of | DdNode |
| Prototype | DdNode Eval (self, IntArray inputs) |
| See Also | Cudd_bddLeq Cudd_addEvalConst |
| Method of | DdNode |
| Prototype | DdNode ExistAbstract (self, DdNode cube) |
| See Also | Cudd_bddUnivAbstract Cudd_addExistAbstract |
| Method of | DdNode |
| Prototype | DdNode FindEssential (self) |
| See Also | Cudd_bddIsVarEssential |
| Method of | DdNode |
| Prototype | DdTlcInfo FindTwoLiteralClauses (self) |
| See Also | Cudd_FindEssential |
| Method of | DdNode |
| Prototype | (int, int cube) FirstCube (self, DdGen gen) |
| See Also | Cudd_NextCube Cudd_FirstNode |
| Method of | DdNode |
| Prototype | (int, DdNode y) FirstNode (self, DdGen gen) |
| See Also | Cudd_NextNode Cudd_FirstCube |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) GenConjDecomp (self) |
| See Also | Cudd_bddGenDisjDecomp Cudd_bddApproxConjDecomp Cudd_bddIterConjDecomp Cudd_bddVarConjDecomp |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) GenDisjDecomp (self) |
| See Also | Cudd_bddGenConjDecomp Cudd_bddApproxDisjDecomp Cudd_bddIterDisjDecomp Cudd_bddVarDisjDecomp |
| Method of | DdNode |
| Prototype | DdNode Increasing (self, int i) |
| See Also | Cudd_Decreasing |
| Method of | DdNode |
| Prototype | DdNode Intersect (self, DdNode g) |
| See Also | Cudd_bddLeq Cudd_bddIteConstant |
| Method of | DdNode |
| Prototype | int IsComplement (self) |
| See Also | Cudd_Regular Cudd_Complement |
| Method of | DdNode |
| Prototype | int IsConstant (self) |
| See Also |
| Method of | DdNode |
| Prototype | int IsNonConstant (self) |
| See Also | Cudd_IsConstant Cudd_bddIteConstant Cudd_addIteConstant Cudd_addEvalConst |
| Method of | DdNode |
| Prototype | int IsVarEssential (self, int id, int phase) |
| See Also | Cudd_FindEssential |
| Method of | DdNode |
| Prototype | DdNode Isop (self, DdNode U) |
| See Also | Cudd_zddIsop |
| Method of | DdNode |
| Prototype | DdNode Ite (self, DdNode g, DdNode h) |
| See Also | Cudd_addIte Cudd_bddIteConstant Cudd_bddIntersect |
| Method of | DdNode |
| Prototype | DdNode IteConstant (self, DdNode g, DdNode h) |
| See Also | Cudd_bddIte Cudd_bddIntersect Cudd_bddLeq Cudd_addIteConstant |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) IterConjDecomp (self) |
| See Also | Cudd_bddIterDisjDecomp Cudd_bddApproxConjDecomp Cudd_bddGenConjDecomp Cudd_bddVarConjDecomp Cudd_RemapOverApprox Cudd_bddSqueeze Cudd_bddLICompaction |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) IterDisjDecomp (self) |
| See Also | Cudd_bddIterConjDecomp Cudd_bddApproxDisjDecomp Cudd_bddGenDisjDecomp Cudd_bddVarDisjDecomp |
| Method of | DdNode |
| Prototype | DdNode LICompaction (self, DdNode c) |
| See Also | Cudd_bddRestrict |
| Method of | DdNode |
| Prototype | DdNode LargestCube (self, IntArray length) |
| See Also | Cudd_ShortestPath |
| Method of | DdNode |
| Prototype | bool Leq (self, DdNode g) |
| See Also | Cudd_bddIteConstant Cudd_addEvalConst |
| Method of | DdNode |
| Prototype | int LeqUnless (self, DdNode g, DdNode D) |
| See Also | Cudd_EquivDC Cudd_bddLeq Cudd_bddIteConstant |
| Method of | DdNode |
| Prototype | DdNode LiteralSetIntersection (self, DdNode g) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode MakePrime (self, DdNode f) |
| See Also |
| Method of | DdNode |
| Prototype | int MinHammingDist (self, IntArray minterm, int upperBound) |
| See Also | Cudd_addHamming Cudd_bddClosestCube |
| Method of | DdNode |
| Prototype | DdNode Minimize (self, DdNode c) |
| See Also | Cudd_bddRestrict Cudd_bddLICompaction Cudd_bddSqueeze |
| Method of | DdNode |
| Prototype | DdNode NPAnd (self, DdNode c) |
| See Also | Cudd_bddConstrain Cudd_bddRestrict |
| Method of | DdNode |
| Prototype | DdNode Nand (self, DdNode g) |
| See Also | Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNor Cudd_bddXor Cudd_bddXnor |
| Method of | DdNode |
| Prototype | (int, int cube) NextCube (self, DdGen gen) |
| See Also | Cudd_FirstCube Cudd_NextNode |
| Method of | DdNode |
| Prototype | (int, DdNode y) NextNode (self, DdGen gen) |
| See Also | Cudd_FirstNode Cudd_NextCube |
| Method of | DdNode |
| Prototype | int NodeReadIndex (self) |
| See Also | Cudd_ReadIndex |
| Method of | DdNode |
| Prototype | DdNode Nor (self, DdNode g) |
| See Also | Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNand Cudd_bddXor Cudd_bddXnor |
| Method of | DdNode |
| Prototype | DdNode Not (self) |
| See Also | Cudd_NotCond |
| Method of | DdNode |
| Prototype | DdNode NotCond (self, int c) |
| See Also | Cudd_Not |
| Method of | DdNode |
| Prototype | DdNode Or (self, DdNode g) |
| See Also | Cudd_bddIte Cudd_bddAnd Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor |
| Method of | DdNode |
| Prototype | DdNode OverApprox (self, int numVars, int threshold, int safe, double quality) |
| See Also | Cudd_SupersetHeavyBranch Cudd_SupersetShortPaths Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode Permute (self, IntArray permut) |
| See Also | Cudd_addPermute Cudd_bddSwapVariables |
| Method of | DdNode |
| Prototype | DdArray PickArbitraryMinterms (self, DdArray vars, int n, int k) |
| See Also | Cudd_bddPickOneMinterm Cudd_bddPickOneCube |
| Method of | DdNode |
| Prototype | int PickOneCube (self, char string) |
| See Also | Cudd_bddPickOneMinterm |
| Method of | DdNode |
| Prototype | DdNode PickOneMinterm (self, DdArray vars, int n) |
| See Also | Cudd_bddPickOneCube |
| Method of | DdNode |
| Prototype | int PrintDebug (self, int n, int pr) |
| See Also | Cudd_DagSize Cudd_CountLeaves Cudd_CountMinterm Cudd_PrintMinterm |
| Method of | DdNode |
| Prototype | int PrintMinterm (self) |
| See Also | Cudd_PrintDebug Cudd_bddPrintCover |
| Method of | DdNode |
| Prototype | int ReadIndex (self, int index) |
| See Also | Cudd_ReadPerm |
| Method of | DdNode |
| Prototype | DdNode Regular (self) |
| See Also | Cudd_Complement Cudd_IsComplement |
| Method of | DdNode |
| Prototype | DdNode RemapOverApprox (self, int numVars, int threshold, double quality) |
| See Also | Cudd_SupersetHeavyBranch Cudd_SupersetShortPaths Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode RemapUnderApprox (self, int numVars, int threshold, double quality) |
| See Also | Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_UnderApprox Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode Restrict (self, DdNode c) |
| See Also | Cudd_bddConstrain Cudd_addRestrict |
| Method of | DdNode |
| Prototype | SetBackground (self) |
| See Also |
| Method of | DdNode |
| Prototype | int ShortestLength (self, IntArray weight) |
| See Also | Cudd_ShortestPath |
| Method of | DdNode |
| Prototype | DdNode ShortestPath (self, IntArray weight, IntArray support, IntArray length) |
| See Also | Cudd_ShortestLength Cudd_LargestCube |
| Method of | DdNode |
| Prototype | DdNode SplitSet (self, DdArray xVars, int n, double m) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode Squeeze (self, DdNode u) |
| See Also | Cudd_bddRestrict Cudd_bddLICompaction |
| Method of | DdNode |
| Prototype | DdNode SubsetCompress (self, int nvars, int threshold) |
| See Also | Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_bddSqueeze |
| Method of | DdNode |
| Prototype | DdNode SubsetHeavyBranch (self, int numVars, int threshold) |
| See Also | Cudd_SubsetShortPaths Cudd_SupersetHeavyBranch Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode SubsetShortPaths (self, int numVars, int threshold, int hardlimit) |
| See Also | Cudd_SupersetShortPaths Cudd_SubsetHeavyBranch Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode SupersetCompress (self, int nvars, int threshold) |
| See Also | Cudd_SubsetCompress Cudd_SupersetShortPaths Cudd_SupersetHeavyBranch Cudd_bddSqueeze |
| Method of | DdNode |
| Prototype | DdNode SupersetHeavyBranch (self, int numVars, int threshold) |
| See Also | Cudd_SubsetHeavyBranch Cudd_SupersetShortPaths Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode SupersetShortPaths (self, int numVars, int threshold, int hardlimit) |
| See Also | Cudd_SubsetShortPaths Cudd_SupersetHeavyBranch Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode Support (self) |
| See Also | Cudd_VectorSupport Cudd_ClassifySupport |
| Method of | DdNode |
| Prototype | (int, int sup) SupportIndex (self) |
| See Also | Cudd_Support Cudd_VectorSupport Cudd_ClassifySupport |
| Method of | DdNode |
| Prototype | int SupportSize (self) |
| See Also | Cudd_Support |
| Method of | DdNode |
| Prototype | DdNode SwapVariables (self, DdArray x, DdArray y, int n) |
| See Also | Cudd_bddPermute Cudd_addSwapVariables |
| Method of | DdNode |
| Prototype | DdNode T (self) |
| See Also | Cudd_E Cudd_V |
| Method of | DdNode |
| Prototype | DdNode UnderApprox (self, int numVars, int threshold, int safe, double quality) |
| See Also | Cudd_SubsetShortPaths Cudd_SubsetHeavyBranch Cudd_ReadSize |
| Method of | DdNode |
| Prototype | DdNode UnivAbstract (self, DdNode cube) |
| See Also | Cudd_bddExistAbstract Cudd_addUnivAbstract |
| Method of | DdNode |
| Prototype | double V (self) |
| See Also | Cudd_T Cudd_E |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) VarConjDecomp (self) |
| See Also | Cudd_bddVarDisjDecomp Cudd_bddGenConjDecomp Cudd_bddApproxConjDecomp Cudd_bddIterConjDecomp |
| Method of | DdNode |
| Prototype | (int, DdNode juncts) VarDisjDecomp (self) |
| See Also | Cudd_bddVarConjDecomp Cudd_bddApproxDisjDecomp Cudd_bddIterDisjDecomp Cudd_bddGenDisjDecomp |
| Method of | DdNode |
| Prototype | int VarIsDependent (self, DdNode var) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode VarMap (self) |
| See Also | Cudd_bddPermute Cudd_bddSwapVariables Cudd_SetVarMap |
| Method of | DdNode |
| Prototype | DdNode VectorCompose (self, DdArray vector) |
| See Also | Cudd_bddPermute Cudd_bddCompose Cudd_addVectorCompose |
| Method of | DdNode |
| Prototype | DdNode VerifySol (self, DdArray G, IntArray yIndex, int n) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode Xnor (self, DdNode g) |
| See Also | Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXor |
| Method of | DdNode |
| Prototype | DdNode Xor (self, DdNode g) |
| See Also | Cudd_bddIte Cudd_bddAnd Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXnor |
| Method of | DdNode |
| Prototype | DdNode XorExistAbstract (self, DdNode g, DdNode cube) |
| See Also | Cudd_bddUnivAbstract Cudd_bddExistAbstract Cudd_bddAndAbstract |
| Method of | DdNode |
| Prototype | DdNode addCmpl (self) |
| See Also | Cudd_addNegate |
| Method of | DdNode |
| Prototype | DdNode addCompose (self, DdNode g, int v) |
| See Also | Cudd_bddCompose |
| Method of | DdNode |
| Prototype | DdNode addConstrain (self, DdNode c) |
| See Also | Cudd_bddConstrain |
| Method of | DdNode |
| Prototype | DdNode addEvalConst (self, DdNode g) |
| See Also | Cudd_addIteConstant Cudd_addLeq |
| Method of | DdNode |
| Prototype | DdNode addExistAbstract (self, DdNode cube) |
| See Also | Cudd_addUnivAbstract Cudd_bddExistAbstract Cudd_addOrAbstract |
| Method of | DdNode |
| Prototype | DdNode addFindMax (self) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode addFindMin (self) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode addIte (self, DdNode g, DdNode h) |
| See Also | Cudd_bddIte Cudd_addIteConstant |
| Method of | DdNode |
| Prototype | DdNode addIteConstant (self, DdNode g, DdNode h) |
| See Also | Cudd_addIte Cudd_addEvalConst Cudd_bddIteConstant |
| Method of | DdNode |
| Prototype | DdNode addIthBit (self, int bit) |
| See Also | Cudd_addBddIthBit |
| Method of | DdNode |
| Prototype | int addLeq (self, DdNode g) |
| See Also | Cudd_addIteConstant Cudd_addEvalConst Cudd_bddLeq |
| Method of | DdNode |
| Prototype | DdNode addMatrixMultiply (self, DdNode B, DdArray z, int nz) |
| See Also | Cudd_addTimesPlus Cudd_addTriangle Cudd_bddAndAbstract |
| Method of | DdNode |
| Prototype | DdNode addNegate (self) |
| See Also | Cudd_addCmpl |
| Method of | DdNode |
| Prototype | DdNode addNonSimCompose (self, DdArray vector) |
| See Also | Cudd_addVectorCompose Cudd_addPermute Cudd_addCompose |
| Method of | DdNode |
| Prototype | DdNode addOrAbstract (self, DdNode cube) |
| See Also | Cudd_addUnivAbstract Cudd_addExistAbstract |
| Method of | DdNode |
| Prototype | DdNode addPermute (self, IntArray permut) |
| See Also | Cudd_bddPermute Cudd_addSwapVariables |
| Method of | DdNode |
| Prototype | DdNode addRestrict (self, DdNode c) |
| See Also | Cudd_addConstrain Cudd_bddRestrict |
| Method of | DdNode |
| Prototype | DdNode addRoundOff (self, int N) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode addScalarInverse (self, DdNode epsilon) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode addSwapVariables (self, DdArray x, DdArray y, int n) |
| See Also | Cudd_addPermute Cudd_bddSwapVariables |
| Method of | DdNode |
| Prototype | DdNode addTimesPlus (self, DdNode B, DdArray z, int nz) |
| See Also | Cudd_addMatrixMultiply |
| Method of | DdNode |
| Prototype | DdNode addTriangle (self, DdNode g, DdArray z, int nz) |
| See Also | Cudd_addMatrixMultiply Cudd_bddAndAbstract |
| Method of | DdNode |
| Prototype | DdNode addUnivAbstract (self, DdNode cube) |
| See Also | Cudd_addExistAbstract Cudd_bddUnivAbstract Cudd_addOrAbstract |
| Method of | DdNode |
| Prototype | DdNode addVectorCompose (self, DdArray vector) |
| See Also | Cudd_addNonSimCompose Cudd_addPermute Cudd_addCompose Cudd_bddVectorCompose |
| Method of | DdNode |
| Prototype | DdNode zddChange (self, int var) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode zddComplement (self) |
| See Also |
| Method of | DdNode |
| Prototype | int zddCount (self) |
| See Also | Cudd_zddCountDouble |
| Method of | DdNode |
| Prototype | double zddCountDouble (self) |
| See Also | Cudd_zddCountMinterm Cudd_zddCount |
| Method of | DdNode |
| Prototype | double zddCountMinterm (self, int path) |
| See Also | Cudd_zddCountDouble |
| Method of | DdNode |
| Prototype | int zddDagSize (self, DdNode p_node) |
| See Also | Cudd_DagSize |
| Method of | DdNode |
| Prototype | DdNode zddDiff (self, DdNode Q) |
| See Also | Cudd_zddDiffConst |
| Method of | DdNode |
| Prototype | DdNode zddDiffConst (self, DdNode Q) |
| See Also | Cudd_zddDiff |
| Method of | DdNode |
| Prototype | DdNode zddDivide (self, DdNode g) |
| See Also | Cudd_zddWeakDiv |
| Method of | DdNode |
| Prototype | DdNode zddDivideF (self, DdNode g) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode zddIntersect (self, DdNode Q) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode zddIsop (self, DdNode U, DdArray zdd_I) |
| See Also | Cudd_bddIsop Cudd_zddVarsFromBddVars |
| Method of | DdNode |
| Prototype | DdNode zddIte (self, DdNode g, DdNode h) |
| See Also |
| Method of | DdNode |
| Prototype | int zddPrintCover (self) |
| See Also | Cudd_zddPrintMinterm |
| Method of | DdNode |
| Prototype | int zddPrintDebug (self, int n, int pr) |
| See Also |
| Method of | DdNode |
| Prototype | int zddPrintMinterm (self) |
| See Also | Cudd_zddPrintDebug Cudd_zddPrintCover |
| Method of | DdNode |
| Prototype | DdNode zddProduct (self, DdNode g) |
| See Also | Cudd_zddUnateProduct |
| Method of | DdNode |
| Prototype | DdNode zddSubset0 (self, int var) |
| See Also | Cudd_zddSubset1 |
| Method of | DdNode |
| Prototype | DdNode zddSubset1 (self, int var) |
| See Also | Cudd_zddSubset0 |
| Method of | DdNode |
| Prototype | DdNode zddUnateProduct (self, DdNode g) |
| See Also | Cudd_zddProduct |
| Method of | DdNode |
| Prototype | DdNode zddUnion (self, DdNode Q) |
| See Also |
| Method of | DdNode |
| Prototype | DdNode zddWeakDiv (self, DdNode g) |
| See Also | Cudd_zddDivide |
| Method of | DdNode |
| Prototype | DdNode zddWeakDivF (self, DdNode g) |
| See Also | Cudd_zddWeakDiv |
| Vector | DdArray Vector (self) |
| Empty | bool Empty (self) |
| FIntersect | int FIntersect (self, DdNode g) |
| Show | Show (self, char name, int op1, int op2) |
| SizeOf | int SizeOf (self) |
| BddStore | int BddStore (self, char ddname, char varnames, IntArray auxids, int mode, int varinfo, char fname, FILE fp) |
| Method of | DdManager |
| Prototype | DdApaDigit ApaAdd (self, int digits, DdApaNumber a, DdApaNumber b, DdApaNumber sum) |
| See Also |
| Method of | DdManager |
| Prototype | int ApaCompare (self, int digitsFirst, DdApaNumber first, int digitsSecond, DdApaNumber second) |
| See Also |
| Method of | DdManager |
| Prototype | int ApaCompareRatios (self, int digitsFirst, DdApaNumber firstNum, unsigned int firstDen, int digitsSecond, DdApaNumber secondNum, unsigned int secondDen) |
| See Also |
| Method of | DdManager |
| Prototype | ApaCopy (self, int digits, DdApaNumber source, DdApaNumber dest) |
| See Also |
| Method of | DdManager |
| Prototype | unsigned int ApaIntDivision (self, int digits, DdApaNumber dividend, unsigned int divisor, DdApaNumber quotient) |
| See Also | Cudd_ApaShortDivision |
| Method of | DdManager |
| Prototype | int ApaNumberOfDigits (self, int binaryDigits) |
| See Also |
| Method of | DdManager |
| Prototype | ApaPowerOfTwo (self, int digits, DdApaNumber number, int power) |
| See Also |
| Method of | DdManager |
| Prototype | int ApaPrintDecimal (self, FILE fp, int digits, DdApaNumber number) |
| See Also | Cudd_ApaPrintHex Cudd_ApaPrintExponential |
| Method of | DdManager |
| Prototype | int ApaPrintExponential (self, FILE fp, int digits, DdApaNumber number, int precision) |
| See Also | Cudd_ApaPrintHex Cudd_ApaPrintDecimal |
| Method of | DdManager |
| Prototype | int ApaPrintHex (self, FILE fp, int digits, DdApaNumber number) |
| See Also | Cudd_ApaPrintDecimal Cudd_ApaPrintExponential |
| Method of | DdManager |
| Prototype | ApaSetToLiteral (self, int digits, DdApaNumber number, DdApaDigit literal) |
| See Also |
| Method of | DdManager |
| Prototype | ApaShiftRight (self, int digits, DdApaDigit in, DdApaNumber a, DdApaNumber b) |
| See Also |
| Method of | DdManager |
| Prototype | DdApaDigit ApaShortDivision (self, int digits, DdApaNumber dividend, DdApaDigit divisor, DdApaNumber quotient) |
| See Also |
| Method of | DdManager |
| Prototype | DdApaDigit ApaSubtract (self, int digits, DdApaNumber a, DdApaNumber b, DdApaNumber diff) |
| See Also |
| Method of | DdManager |
| Prototype | AutodynDisable (self) |
| See Also | Cudd_AutodynEnable Cudd_ReorderingStatus Cudd_AutodynDisableZdd |
| Method of | DdManager |
| Prototype | AutodynDisableZdd (self) |
| See Also | Cudd_AutodynEnableZdd Cudd_ReorderingStatusZdd Cudd_AutodynDisable |
| Method of | DdManager |
| Prototype | AutodynEnable (self, int method) |
| See Also | Cudd_AutodynDisable Cudd_ReorderingStatus Cudd_AutodynEnableZdd |
| Method of | DdManager |
| Prototype | AutodynEnableZdd (self, int method) |
| See Also | Cudd_AutodynDisableZdd Cudd_ReorderingStatusZdd Cudd_AutodynEnable |
| Method of | DdManager |
| Prototype | double AverageDistance (self) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode BddToAdd (self, DdNode B) |
| See Also | Cudd_addBddPattern Cudd_addBddThreshold Cudd_addBddInterval Cudd_addBddStrictThreshold |
| Method of | DdManager |
| Prototype | int BindVar (self, int index) |
| See Also | Cudd_bddUnbindVar |
| Method of | DdManager |
| Prototype | int CheckKeys (self) |
| See Also | Cudd_DebugCheck |
| Method of | DdManager |
| Prototype | int CheckZeroRef (self) |
| See Also |
| Method of | DdManager |
| Prototype | int ClassifySupport (self, DdNode f, DdNode g, DdArray common, DdArray onlyF, DdArray onlyG) |
| See Also | Cudd_Support Cudd_VectorSupport |
| Method of | DdManager |
| Prototype | ClearErrorCode (self) |
| See Also | Cudd_ReadErrorCode |
| Method of | DdManager |
| Prototype | DdNode ComputeCube (self, DdArray vars, IntArray phase, int n) |
| See Also | Cudd_addComputeCube Cudd_IndicesToCube Cudd_CubeArrayToBdd |
| Method of | DdManager |
| Prototype | DdNode CubeArrayToBdd (self, IntArray y) |
| See Also | Cudd_bddComputeCube Cudd_IndicesToCube Cudd_BddToCubeArray |
| Method of | DdManager |
| Prototype | int DeadAreCounted (self) |
| See Also | Cudd_TurnOnCountDead Cudd_TurnOffCountDead |
| Method of | DdManager |
| Prototype | int DebugCheck (self) |
| See Also | Cudd_CheckKeys |
| Method of | DdManager |
| Prototype | DisableGarbageCollection (self) |
| See Also | Cudd_EnableGarbageCollection Cudd_GarbageCollectionEnabled |
| Method of | DdManager |
| Prototype | int DisableReorderingReporting (self) |
| See Also | Cudd_EnableReorderingReporting Cudd_ReorderingReporting |
| Method of | DdManager |
| Prototype | int DumpBlif (self, int n, DdArray f, char inames, char onames, char mname, FILE fp) |
| See Also | Cudd_DumpBlifBody Cudd_DumpDot Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm |
| Method of | DdManager |
| Prototype | int DumpBlifBody (self, int n, DdArray f, char inames, char onames, FILE fp) |
| See Also | Cudd_DumpBlif Cudd_DumpDot Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm |
| Method of | DdManager |
| Prototype | int DumpDDcal (self, int n, DdArray f, char inames, char onames, FILE fp) |
| See Also | Cudd_DumpDot Cudd_PrintDebug Cudd_DumpBlif Cudd_DumpDaVinci Cudd_DumpFactoredForm |
| Method of | DdManager |
| Prototype | int DumpDaVinci (self, int n, DdArray f, char inames, char onames, FILE fp) |
| See Also | Cudd_DumpDot Cudd_PrintDebug Cudd_DumpBlif Cudd_DumpDDcal Cudd_DumpFactoredForm |
| Method of | DdManager |
| Prototype | int DumpDot (self, int n, DdArray f, char inames, char onames, FILE fp) |
| See Also | Cudd_DumpBlif Cudd_PrintDebug Cudd_DumpDDcal Cudd_DumpDaVinci Cudd_DumpFactoredForm |
| Method of | DdManager |
| Prototype | int DumpFactoredForm (self, int n, DdArray f, char inames, char onames, FILE fp) |
| See Also | Cudd_DumpDot Cudd_PrintDebug Cudd_DumpBlif Cudd_DumpDaVinci Cudd_DumpDDcal |
| Method of | DdManager |
| Prototype | DdNode Dxygtdxz (self, int N, DdArray x, DdArray y, DdArray z) |
| See Also | Cudd_Dxygtdyz Cudd_Xgty Cudd_bddAdjPermuteX |
| Method of | DdManager |
| Prototype | DdNode Dxygtdyz (self, int N, DdArray x, DdArray y, DdArray z) |
| See Also | Cudd_Dxygtdxz Cudd_Xgty Cudd_bddAdjPermuteX |
| Method of | DdManager |
| Prototype | EnableGarbageCollection (self) |
| See Also | Cudd_DisableGarbageCollection Cudd_GarbageCollectionEnabled |
| Method of | DdManager |
| Prototype | int EnableReorderingReporting (self) |
| See Also | Cudd_DisableReorderingReporting Cudd_ReorderingReporting |
| Method of | DdManager |
| Prototype | double ExpectedUsedSlots (self) |
| See Also | Cudd_ReadSlots Cudd_ReadUsedSlots |
| Method of | DdManager |
| Prototype | FreeTree (self) |
| See Also | Cudd_SetTree Cudd_ReadTree Cudd_FreeZddTree |
| Method of | DdManager |
| Prototype | FreeZddTree (self) |
| See Also | Cudd_SetZddTree Cudd_ReadZddTree Cudd_FreeTree |
| Method of | DdManager |
| Prototype | int GarbageCollectionEnabled (self) |
| See Also | Cudd_EnableGarbageCollection Cudd_DisableGarbageCollection |
| Method of | DdManager |
| Prototype | DdNode IndicesToCube (self, IntArray array, int n) |
| See Also | Cudd_bddComputeCube Cudd_CubeArrayToBdd |
| Method of | DdManager |
| Prototype | int IsNsVar (self, int index) |
| See Also | Cudd_bddSetNsVar Cudd_bddIsPiVar Cudd_bddIsPsVar |
| Method of | DdManager |
| Prototype | int IsPiVar (self, int index) |
| See Also | Cudd_bddSetPiVar Cudd_bddIsPsVar Cudd_bddIsNsVar |
| Method of | DdManager |
| Prototype | int IsPsVar (self, int index) |
| See Also | Cudd_bddSetPsVar Cudd_bddIsPiVar Cudd_bddIsNsVar |
| Method of | DdManager |
| Prototype | int IsVarHardGroup (self, int index) |
| See Also | Cudd_bddSetVarHardGroup |
| Method of | DdManager |
| Prototype | int IsVarToBeGrouped (self, int index) |
| See Also |
| Method of | DdManager |
| Prototype | int IsVarToBeUngrouped (self, int index) |
| See Also | Cudd_bddSetVarToBeUngrouped |
| Method of | DdManager |
| Prototype | DdNode IthVar (self, int i) |
| See Also | Cudd_bddNewVar Cudd_addIthVar Cudd_bddNewVarAtLevel Cudd_ReadVars |
| Method of | DdManager |
| Prototype | DdNode MakeBddFromZddCover (self, DdNode node) |
| See Also |
| Method of | DdManager |
| Prototype | MtrNode MakeTreeNode (self, unsigned int low, unsigned int size, unsigned int type) |
| See Also | Cudd_MakeZddTreeNode |
| Method of | DdManager |
| Prototype | MtrNode MakeZddTreeNode (self, unsigned int low, unsigned int size, unsigned int type) |
| See Also | Cudd_MakeTreeNode |
| Method of | DdManager |
| Prototype | DdApaNumber NewApaNumber (self, int digits) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode NewVar (self) |
| See Also | Cudd_addNewVar Cudd_bddIthVar Cudd_bddNewVarAtLevel |
| Method of | DdManager |
| Prototype | DdNode NewVarAtLevel (self, int level) |
| See Also | Cudd_bddNewVar Cudd_bddIthVar Cudd_addNewVarAtLevel |
| Method of | DdManager |
| Prototype | OutOfMem (self, long size) |
| See Also |
| Method of | DdManager |
| Prototype | unsigned int Prime (self, unsigned int p) |
| See Also |
| Method of | DdManager |
| Prototype | int PrintCover (self, DdNode l, DdNode u) |
| See Also | Cudd_PrintMinterm |
| Method of | DdManager |
| Prototype | int PrintInfo (self, FILE fp) |
| See Also |
| Method of | DdManager |
| Prototype | int PrintLinear (self) |
| See Also |
| Method of | DdManager |
| Prototype | PrintVersion (self, FILE fp) |
| See Also |
| Method of | DdManager |
| Prototype | long Random (self) |
| See Also | Cudd_Srandom |
| Method of | DdManager |
| Prototype | int ReadArcviolation (self) |
| See Also | Cudd_SetArcviolation |
| Method of | DdManager |
| Prototype | DdNode ReadBackground (self) |
| See Also |
| Method of | DdManager |
| Prototype | double ReadCacheHits (self) |
| See Also | Cudd_ReadCacheLookUps |
| Method of | DdManager |
| Prototype | double ReadCacheLookUps (self) |
| See Also | Cudd_ReadCacheHits |
| Method of | DdManager |
| Prototype | unsigned int ReadCacheSlots (self) |
| See Also | Cudd_ReadCacheUsedSlots |
| Method of | DdManager |
| Prototype | double ReadCacheUsedSlots (self) |
| See Also | Cudd_ReadCacheSlots |
| Method of | DdManager |
| Prototype | unsigned int ReadDead (self) |
| See Also | Cudd_ReadKeys |
| Method of | DdManager |
| Prototype | CUDD_VALUE_TYPE ReadEpsilon (self) |
| See Also | Cudd_SetEpsilon |
| Method of | DdManager |
| Prototype | Cudd_ErrorType ReadErrorCode (self) |
| See Also | Cudd_ClearErrorCode |
| Method of | DdManager |
| Prototype | long ReadGarbageCollectionTime (self) |
| See Also | Cudd_ReadGarbageCollections |
| Method of | DdManager |
| Prototype | int ReadGarbageCollections (self) |
| See Also | Cudd_ReadGarbageCollectionTime |
| Method of | DdManager |
| Prototype | Cudd_AggregationType ReadGroupcheck (self) |
| See Also | Cudd_SetGroupcheck |
| Method of | DdManager |
| Prototype | int ReadIndex (self, int i) |
| See Also | Cudd_ReadPerm |
| Method of | DdManager |
| Prototype | int ReadInvPerm (self, int i) |
| See Also | Cudd_ReadPerm Cudd_ReadInvPermZdd |
| Method of | DdManager |
| Prototype | int ReadInvPermZdd (self, int i) |
| See Also | Cudd_ReadPerm Cudd_ReadInvPermZdd |
| Method of | DdManager |
| Prototype | unsigned int ReadKeys (self) |
| See Also | Cudd_ReadDead |
| Method of | DdManager |
| Prototype | int ReadLinear (self, int x, int y) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode ReadLogicZero (self) |
| See Also | Cudd_ReadOne Cudd_ReadZero |
| Method of | DdManager |
| Prototype | unsigned int ReadLooseUpTo (self) |
| See Also | Cudd_SetLooseUpTo Cudd_ReadMinHit Cudd_ReadMinDead |
| Method of | DdManager |
| Prototype | unsigned int ReadMaxCache (self) |
| See Also | Cudd_ReadMaxCache |
| Method of | DdManager |
| Prototype | unsigned int ReadMaxCacheHard (self) |
| See Also | Cudd_SetMaxCacheHard Cudd_ReadMaxCache |
| Method of | DdManager |
| Prototype | double ReadMaxGrowth (self) |
| See Also | Cudd_SetMaxGrowth Cudd_ReadMaxGrowthAlternate |
| Method of | DdManager |
| Prototype | double ReadMaxGrowthAlternate (self) |
| See Also | Cudd_ReadMaxGrowth Cudd_SetMaxGrowthAlternate Cudd_SetReorderingCycle Cudd_ReadReorderingCycle |
| Method of | DdManager |
| Prototype | unsigned int ReadMaxLive (self) |
| See Also | Cudd_SetMaxLive |
| Method of | DdManager |
| Prototype | long ReadMaxMemory (self) |
| See Also | Cudd_SetMaxMemory |
| Method of | DdManager |
| Prototype | long ReadMemoryInUse (self) |
| See Also |
| Method of | DdManager |
| Prototype | unsigned int ReadMinDead (self) |
| See Also | Cudd_ReadDead Cudd_ReadLooseUpTo Cudd_SetLooseUpTo |
| Method of | DdManager |
| Prototype | unsigned int ReadMinHit (self) |
| See Also | Cudd_SetMinHit |
| Method of | DdManager |
| Prototype | DdNode ReadMinusInfinity (self) |
| See Also |
| Method of | DdManager |
| Prototype | unsigned int ReadNextReordering (self) |
| See Also | Cudd_SetNextReordering |
| Method of | DdManager |
| Prototype | long ReadNodeCount (self) |
| See Also | Cudd_ReadPeakNodeCount Cudd_zddReadNodeCount |
| Method of | DdManager |
| Prototype | double ReadNodesDropped (self) |
| See Also | Cudd_ReadNodesFreed |
| Method of | DdManager |
| Prototype | double ReadNodesFreed (self) |
| See Also | Cudd_ReadNodesDropped |
| Method of | DdManager |
| Prototype | int ReadNumberXovers (self) |
| See Also | Cudd_SetNumberXovers |
| Method of | DdManager |
| Prototype | DdNode ReadOne (self) |
| See Also | Cudd_ReadZero Cudd_ReadLogicZero Cudd_ReadZddOne |
| Method of | DdManager |
| Prototype | int ReadPairIndex (self, int index) |
| See Also | Cudd_bddSetPairIndex |
| Method of | DdManager |
| Prototype | int ReadPeakLiveNodeCount (self) |
| See Also | Cudd_ReadNodeCount Cudd_PrintInfo Cudd_ReadPeakNodeCount |
| Method of | DdManager |
| Prototype | long ReadPeakNodeCount (self) |
| See Also | Cudd_ReadNodeCount Cudd_PrintInfo |
| Method of | DdManager |
| Prototype | int ReadPerm (self, int i) |
| See Also | Cudd_ReadInvPerm Cudd_ReadPermZdd |
| Method of | DdManager |
| Prototype | int ReadPermZdd (self, int i) |
| See Also | Cudd_ReadInvPermZdd Cudd_ReadPerm |
| Method of | DdManager |
| Prototype | DdNode ReadPlusInfinity (self) |
| See Also |
| Method of | DdManager |
| Prototype | int ReadPopulationSize (self) |
| See Also | Cudd_SetPopulationSize |
| Method of | DdManager |
| Prototype | int ReadRecomb (self) |
| See Also | Cudd_SetRecomb |
| Method of | DdManager |
| Prototype | double ReadRecursiveCalls (self) |
| See Also |
| Method of | DdManager |
| Prototype | int ReadReorderingCycle (self) |
| See Also | Cudd_ReadMaxGrowthAlternate Cudd_SetMaxGrowthAlternate Cudd_SetReorderingCycle |
| Method of | DdManager |
| Prototype | long ReadReorderingTime (self) |
| See Also | Cudd_ReadReorderings |
| Method of | DdManager |
| Prototype | int ReadReorderings (self) |
| See Also | Cudd_ReduceHeap Cudd_ReadReorderingTime |
| Method of | DdManager |
| Prototype | int ReadSiftMaxSwap (self) |
| See Also | Cudd_ReadSiftMaxVar Cudd_SetSiftMaxSwap |
| Method of | DdManager |
| Prototype | int ReadSiftMaxVar (self) |
| See Also | Cudd_ReadSiftMaxSwap Cudd_SetSiftMaxVar |
| Method of | DdManager |
| Prototype | int ReadSize (self) |
| See Also | Cudd_ReadZddSize |
| Method of | DdManager |
| Prototype | unsigned int ReadSlots (self) |
| See Also |
| Method of | DdManager |
| Prototype | FILE ReadStderr (self) |
| See Also | Cudd_SetStderr Cudd_ReadStdout |
| Method of | DdManager |
| Prototype | FILE ReadStdout (self) |
| See Also | Cudd_SetStdout Cudd_ReadStderr |
| Method of | DdManager |
| Prototype | double ReadSwapSteps (self) |
| See Also |
| Method of | DdManager |
| Prototype | int ReadSymmviolation (self) |
| See Also | Cudd_SetSymmviolation |
| Method of | DdManager |
| Prototype | MtrNode ReadTree (self) |
| See Also | Cudd_SetTree Cudd_FreeTree Cudd_ReadZddTree |
| Method of | DdManager |
| Prototype | double ReadUniqueLinks (self) |
| See Also | Cudd_ReadUniqueLookUps |
| Method of | DdManager |
| Prototype | double ReadUniqueLookUps (self) |
| See Also | Cudd_ReadUniqueLinks |
| Method of | DdManager |
| Prototype | double ReadUsedSlots (self) |
| See Also | Cudd_ReadSlots |
| Method of | DdManager |
| Prototype | DdNode ReadVars (self, int i) |
| See Also | Cudd_bddIthVar |
| Method of | DdManager |
| Prototype | DdNode ReadZddOne (self, int i) |
| See Also | Cudd_ReadOne |
| Method of | DdManager |
| Prototype | int ReadZddSize (self) |
| See Also | Cudd_ReadSize |
| Method of | DdManager |
| Prototype | MtrNode ReadZddTree (self) |
| See Also | Cudd_SetZddTree Cudd_FreeZddTree Cudd_ReadTree |
| Method of | DdManager |
| Prototype | DdNode ReadZero (self) |
| See Also | Cudd_ReadOne Cudd_ReadLogicZero |
| Method of | DdManager |
| Prototype | RealignDisable (self) |
| See Also | Cudd_bddRealignEnable Cudd_bddRealignmentEnabled Cudd_zddRealignEnable Cudd_zddRealignmentEnabled |
| Method of | DdManager |
| Prototype | RealignEnable (self) |
| See Also | Cudd_zddReduceHeap Cudd_bddRealignDisable Cudd_bddRealignmentEnabled Cudd_zddRealignDisable Cudd_zddRealignmentEnabled |
| Method of | DdManager |
| Prototype | int RealignmentEnabled (self) |
| See Also | Cudd_bddRealignEnable Cudd_bddRealignDisable Cudd_zddRealignEnable Cudd_zddRealignDisable |
| Method of | DdManager |
| Prototype | int ReduceHeap (self, int heuristic, int minsize) |
| See Also |
| Method of | DdManager |
| Prototype | int ReorderingReporting (self) |
| See Also | Cudd_EnableReorderingReporting Cudd_DisableReorderingReporting |
| Method of | DdManager |
| Prototype | (int, int status) ReorderingStatus (self) |
| See Also | Cudd_AutodynEnable Cudd_AutodynDisable Cudd_ReorderingStatusZdd |
| Method of | DdManager |
| Prototype | (int, int status) ReorderingStatusZdd (self) |
| See Also | Cudd_AutodynEnableZdd Cudd_AutodynDisableZdd Cudd_ReorderingStatus |
| Method of | DdManager |
| Prototype | int ResetVarToBeGrouped (self, int index) |
| See Also | Cudd_bddSetVarToBeGrouped Cudd_bddSetVarHardGroup |
| Method of | DdManager |
| Prototype | SetArcviolation (self, int arcviolation) |
| See Also | Cudd_ReadArcviolation |
| Method of | DdManager |
| Prototype | SetEpsilon (self, CUDD_VALUE_TYPE ep) |
| See Also | Cudd_ReadEpsilon |
| Method of | DdManager |
| Prototype | SetGroupcheck (self, Cudd_AggregationType gc) |
| See Also |
| Method of | DdManager |
| Prototype | SetLooseUpTo (self, unsigned int lut) |
| See Also | Cudd_ReadLooseUpTo Cudd_SetMinHit |
| Method of | DdManager |
| Prototype | SetMaxCacheHard (self, unsigned int mc) |
| See Also | Cudd_ReadMaxCacheHard |
| Method of | DdManager |
| Prototype | SetMaxGrowth (self, double mg) |
| See Also | Cudd_ReadMaxGrowth Cudd_SetMaxGrowthAlternate |
| Method of | DdManager |
| Prototype | SetMaxGrowthAlternate (self, double mg) |
| See Also | Cudd_ReadMaxGrowthAlternate Cudd_SetMaxGrowth Cudd_SetReorderingCycle Cudd_ReadReorderingCycle |
| Method of | DdManager |
| Prototype | SetMaxLive (self, unsigned int maxLive) |
| See Also | Cudd_ReadMaxLive |
| Method of | DdManager |
| Prototype | SetMaxMemory (self, long maxMemory) |
| See Also | Cudd_ReadMaxMemory |
| Method of | DdManager |
| Prototype | SetMinHit (self, unsigned int hr) |
| See Also | Cudd_ReadMinHit |
| Method of | DdManager |
| Prototype | SetNextReordering (self, unsigned int next) |
| See Also | Cudd_ReadNextReordering |
| Method of | DdManager |
| Prototype | int SetNsVar (self, int index) |
| See Also | Cudd_bddSetPiVar Cudd_bddSetPsVar Cudd_bddIsNsVar |
| Method of | DdManager |
| Prototype | SetNumberXovers (self, int numberXovers) |
| See Also | Cudd_ReadNumberXovers |
| Method of | DdManager |
| Prototype | int SetPairIndex (self, int index, int pairIndex) |
| See Also | Cudd_bddReadPairIndex |
| Method of | DdManager |
| Prototype | int SetPiVar (self, int index) |
| See Also | Cudd_bddSetPsVar Cudd_bddSetNsVar Cudd_bddIsPiVar |
| Method of | DdManager |
| Prototype | SetPopulationSize (self, int populationSize) |
| See Also | Cudd_ReadPopulationSize |
| Method of | DdManager |
| Prototype | int SetPsVar (self, int index) |
| See Also | Cudd_bddSetPiVar Cudd_bddSetNsVar Cudd_bddIsPsVar |
| Method of | DdManager |
| Prototype | SetRecomb (self, int recomb) |
| See Also | Cudd_ReadRecomb |
| Method of | DdManager |
| Prototype | SetReorderingCycle (self, int cycle) |
| See Also | Cudd_ReadMaxGrowthAlternate Cudd_SetMaxGrowthAlternate Cudd_ReadReorderingCycle |
| Method of | DdManager |
| Prototype | SetSiftMaxSwap (self, int sms) |
| See Also | Cudd_SetSiftMaxVar Cudd_ReadSiftMaxSwap |
| Method of | DdManager |
| Prototype | SetSiftMaxVar (self, int smv) |
| See Also | Cudd_SetSiftMaxSwap Cudd_ReadSiftMaxVar |
| Method of | DdManager |
| Prototype | SetStderr (self, FILE fp) |
| See Also | Cudd_ReadStderr Cudd_SetStdout |
| Method of | DdManager |
| Prototype | SetStdout (self, FILE fp) |
| See Also | Cudd_ReadStdout Cudd_SetStderr |
| Method of | DdManager |
| Prototype | SetSymmviolation (self, int symmviolation) |
| See Also | Cudd_ReadSymmviolation |
| Method of | DdManager |
| Prototype | SetTree (self, MtrNode tree) |
| See Also | Cudd_FreeTree Cudd_ReadTree Cudd_SetZddTree |
| Method of | DdManager |
| Prototype | int SetVarHardGroup (self, int index) |
| See Also | Cudd_bddSetVarToBeGrouped Cudd_bddResetVarToBeGrouped Cudd_bddIsVarHardGroup |
| Method of | DdManager |
| Prototype | int SetVarMap (self, DdArray x, DdArray y, int n) |
| See Also | Cudd_bddVarMap Cudd_bddPermute Cudd_bddSwapVariables |
| Method of | DdManager |
| Prototype | int SetVarToBeGrouped (self, int index) |
| See Also | Cudd_bddSetVarHardGroup Cudd_bddResetVarToBeGrouped |
| Method of | DdManager |
| Prototype | int SetVarToBeUngrouped (self, int index) |
| See Also | Cudd_bddIsVarToBeUngrouped |
| Method of | DdManager |
| Prototype | SetZddTree (self, MtrNode tree) |
| See Also | Cudd_FreeZddTree Cudd_ReadZddTree Cudd_SetTree |
| Method of | DdManager |
| Prototype | int SharingSize (self, DdArray nodeArray, int n) |
| See Also | Cudd_DagSize |
| Method of | DdManager |
| Prototype | int ShuffleHeap (self, IntArray permutation) |
| See Also | Cudd_ReduceHeap |
| Method of | DdManager |
| Prototype | Srandom (self, long seed) |
| See Also | Cudd_Random |
| Method of | DdManager |
| Prototype | SymmProfile (self, int lower, int upper) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode Transfer (self, DdManager ddDestination, DdNode f) |
| See Also |
| Method of | DdManager |
| Prototype | TurnOffCountDead (self) |
| See Also | Cudd_TurnOnCountDead Cudd_DeadAreCounted |
| Method of | DdManager |
| Prototype | TurnOnCountDead (self) |
| See Also | Cudd_TurnOffCountDead Cudd_DeadAreCounted |
| Method of | DdManager |
| Prototype | int UnbindVar (self, int index) |
| See Also | Cudd_bddBindVar |
| Method of | DdManager |
| Prototype | int VarIsBound (self, int index) |
| See Also | Cudd_bddBindVar Cudd_bddUnbindVar |
| Method of | DdManager |
| Prototype | int VectorSupportSize (self, DdArray F, int n) |
| See Also | Cudd_VectorSupport Cudd_SupportSize |
| Method of | DdManager |
| Prototype | DdNode Xeqy (self, int N, DdArray x, DdArray y) |
| See Also | Cudd_addXeqy |
| Method of | DdManager |
| Prototype | DdNode Xgty (self, int N, DdArray z, DdArray x, DdArray y) |
| See Also | Cudd_Dxygtdxz Cudd_Dxygtdyz |
| Method of | DdManager |
| Prototype | DdNode addAgreement (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addBddInterval (self, DdNode f, CUDD_VALUE_TYPE lower, CUDD_VALUE_TYPE upper) |
| See Also | Cudd_addBddThreshold Cudd_addBddStrictThreshold Cudd_addBddPattern Cudd_BddToAdd |
| Method of | DdManager |
| Prototype | DdNode addBddIthBit (self, DdNode f, int bit) |
| See Also | Cudd_addBddInterval Cudd_addBddPattern Cudd_BddToAdd |
| Method of | DdManager |
| Prototype | DdNode addBddPattern (self, DdNode f) |
| See Also | Cudd_BddToAdd Cudd_addBddThreshold Cudd_addBddInterval Cudd_addBddStrictThreshold |
| Method of | DdManager |
| Prototype | DdNode addBddStrictThreshold (self, DdNode f, CUDD_VALUE_TYPE value) |
| See Also | Cudd_addBddInterval Cudd_addBddPattern Cudd_BddToAdd Cudd_addBddThreshold |
| Method of | DdManager |
| Prototype | DdNode addBddThreshold (self, DdNode f, CUDD_VALUE_TYPE value) |
| See Also | Cudd_addBddInterval Cudd_addBddPattern Cudd_BddToAdd Cudd_addBddStrictThreshold |
| Method of | DdManager |
| Prototype | DdNode addComputeCube (self, DdArray vars, IntArray phase, int n) |
| See Also | Cudd_bddComputeCube |
| Method of | DdManager |
| Prototype | DdNode addConst (self, CUDD_VALUE_TYPE c) |
| See Also | Cudd_addNewVar Cudd_addIthVar |
| Method of | DdManager |
| Prototype | DdNode addDiff (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addDivide (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addHamming (self, DdArray xVars, DdArray yVars, int nVars) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addIthVar (self, int i) |
| See Also | Cudd_addNewVar Cudd_bddIthVar Cudd_addConst Cudd_addNewVarAtLevel |
| Method of | DdManager |
| Prototype | DdNode addMaximum (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addMinimum (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addMinus (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addNand (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addNewVar (self) |
| See Also | Cudd_bddNewVar Cudd_addIthVar Cudd_addConst Cudd_addNewVarAtLevel |
| Method of | DdManager |
| Prototype | DdNode addNewVarAtLevel (self, int level) |
| See Also | Cudd_addNewVar Cudd_addIthVar Cudd_bddNewVarAtLevel |
| Method of | DdManager |
| Prototype | DdNode addNor (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addOneZeroMaximum (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addOr (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addPlus (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addResidue (self, int n, int m, int options, int top) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addSetNZ (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addThreshold (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addTimes (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addWalsh (self, DdArray x, DdArray y, int n) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addXeqy (self, int N, DdArray x, DdArray y) |
| See Also | Cudd_Xeqy |
| Method of | DdManager |
| Prototype | DdNode addXnor (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | DdNode addXor (self, DdArray f, DdArray g) |
| See Also |
| Method of | DdManager |
| Prototype | int zddDumpDot (self, int n, DdArray f, char inames, char onames, FILE fp) |
| See Also | Cudd_DumpDot Cudd_zddPrintDebug |
| Method of | DdManager |
| Prototype | DdNode zddIthVar (self, int i) |
| See Also | Cudd_bddIthVar Cudd_addIthVar |
| Method of | DdManager |
| Prototype | DdNode zddPortFromBdd (self, DdNode B) |
| See Also | Cudd_zddVarsFromBddVars |
| Method of | DdManager |
| Prototype | DdNode zddPortToBdd (self, DdNode f) |
| See Also | Cudd_zddPortFromBdd |
| Method of | DdManager |
| Prototype | zddPrintSubtable (self) |
| See Also |
| Method of | DdManager |
| Prototype | long zddReadNodeCount (self) |
| See Also | Cudd_ReadPeakNodeCount Cudd_ReadNodeCount |
| Method of | DdManager |
| Prototype | zddRealignDisable (self) |
| See Also | Cudd_zddRealignEnable Cudd_zddRealignmentEnabled Cudd_bddRealignEnable Cudd_bddRealignmentEnabled |
| Method of | DdManager |
| Prototype | zddRealignEnable (self) |
| See Also | Cudd_ReduceHeap Cudd_zddRealignDisable Cudd_zddRealignmentEnabled Cudd_bddRealignDisable Cudd_bddRealignmentEnabled |
| Method of | DdManager |
| Prototype | int zddRealignmentEnabled (self) |
| See Also | Cudd_zddRealignEnable Cudd_zddRealignDisable Cudd_bddRealignEnable Cudd_bddRealignDisable |
| Method of | DdManager |
| Prototype | int zddReduceHeap (self, int heuristic, int minsize) |
| See Also |
| Method of | DdManager |
| Prototype | int zddShuffleHeap (self, IntArray permutation) |
| See Also | Cudd_zddReduceHeap |
| Method of | DdManager |
| Prototype | zddSymmProfile (self, int lower, int upper) |
| See Also |
| Method of | DdManager |
| Prototype | int zddVarsFromBddVars (self, int multiplicity) |
| See Also | Cudd_bddNewVar Cudd_bddIthVar Cudd_bddNewVarAtLevel |
| KillNode | KillNode (self, long num) |
| DisplayBinary | int DisplayBinary (self, char filein, char fileout) |
| PrintStdOut | int PrintStdOut (self) |
| GarbageCollect | int GarbageCollect (self, int clearCache) |
| Zero | DdNode Zero (self) |
| ArrayLoad | int ArrayLoad (self, int rootmatchmode, char rootmatchnames, int varmatchmode, char varmatchnames, IntArray varmatchauxids, IntArray varcomposeids, int mode, char filename, FILE fp, DdArray pproots) |
| Text2Bin | int Text2Bin (self, char filein, char fileout) |
| StateCube | DdNode StateCube (self, char cube, int base, int offset, int scale) |
| ArrayStore | int ArrayStore (self, char ddname, DdArray roots, char rootnames, char varnames, IntArray auxids, int mode, int varinfo, char filename, FILE fp) |
| SetDefault | SetDefault (self) |
| Bin2Text | int Bin2Text (self, char filein, char fileout) |
| Sort | int Sort (self, DdNode leftnd, DdNode rightnd) |
| BddStore | int BddStore (self, char ddname, DdNode f, char varnames, IntArray auxids, int mode, int varinfo, char fname, FILE fp) |
| One | DdNode One (self) |
| BddLoad | DdNode BddLoad (self, int varmatchmode, char varmatchnames, IntArray varmatchauxids, IntArray varcomposeids, int mode, char filename, FILE fp) |
| Method of | DdArray |
| Prototype | DdNode And (self) |
| See Also | Cudd_bddIte Cudd_bddAndAbstract Cudd_bddIntersect Cudd_bddOr Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor |
| Method of | DdArray |
| Prototype | DdNode Compose (self, DdNode term) |
| See Also | Cudd_addCompose |
| Method of | DdArray |
| Prototype | DdNode Or (self) |
| See Also | Cudd_bddIte Cudd_bddAnd Cudd_bddNand Cudd_bddNor Cudd_bddXor Cudd_bddXnor |
| Method of | DdArray |
| Prototype | DdNode PickOneMinterm (self, DdNode term) |
| See Also | Cudd_bddPickOneCube |
| Method of | DdArray |
| Prototype | int SetVarMap (self, DdArray other) |
| See Also | Cudd_bddVarMap Cudd_bddPermute Cudd_bddSwapVariables |
| Method of | DdArray |
| Prototype | DdNode VectorSupport (self) |
| See Also | Cudd_Support Cudd_ClassifySupport |
| Method of | DdArray |
| Prototype | (int, int sup) VectorSupportIndex (self) |
| See Also | Cudd_SupportIndex Cudd_VectorSupport Cudd_ClassifySupport |
| UpToN | DdNode UpToN (self, int n) |
| AtLeastN | DdNode AtLeastN (self, int n) |
| ArrayLoad | int ArrayLoad (self, int rootmatchmode, StringArray rootmatchnames, int varmatchmode, StringArray varmatchnames, IntArray varmatchauxids, IntArray varcomposeids, int mode, char filename) |
| Swap | Swap (self, int i, int j) |
| SwapNodes | SwapNodes (self, int i, int j) |
| Save | int Save (self, char filename) |
| SupportVector | SupportVector (self, DdNode term) |
| FillWithIntArray | FillWithIntArray (self, IntArray t) |
| ExactlyN | DdNode ExactlyN (self, int n) |
| Constraint | DdNode Constraint (self, int low, int high) |
| ArrayStore | int ArrayStore (self, char ddname, StringArray rootnames, StringArray varnames, IntArray auxids, int mode, int varinfo, char filename) |
| OrderVector | OrderVector (self, int left, int right) |
| Push | Push (self, DdNode val) |
| Assign | Assign (self, DdNode list, int k) |
| Load | int Load (self, char filename) |
| Pop | DdNode Pop (self) |
| LoadText | int LoadText (self, char filename) |
| HoldTR | DdNode HoldTR (self, DdArray other) |
| SaveText | int SaveText (self, char filename) |
| Find | int Find (self, DdNode term) |
| Fill | Fill (self, int offset, int mod) |
| Swap | Swap (self, int i, int j) |
| Assign | Assign (self, int list, int k) |
| ArrayAddress | int ArrayAddress (self) |
| AssignVect | AssignVect (self, int str, int size) |
| AssignComplVect | AssignComplVect (self, int str, int size, int univ) |
| Swap | Swap (self, int i, int j) |
| Assign | Assign (self, char list, int k) |
| ArrayAddress | char ArrayAddress (self) |
| Swap | Swap (self, int i, int j) |
| Assign | Assign (self, double list, int k) |
| Method of | DdTlcInfo |
| Prototype | (int, DdHalfWord var1, DdHalfWord var2, int phase1, int phase2) ReadIthClause (self, int i) |
| See Also | Cudd_FindTwoLiteralClauses |
| Method of | NodePair |
| Prototype | (int, int cube) FirstPrime (self, DdGen gen) |
| See Also | Cudd_NextPrime Cudd_FirstCube Cudd_FirstNode |
| Method of | NodePair |
| Prototype | (int, int cube) NextPrime (self, DdGen gen) |
| See Also | Cudd_FirstPrime Cudd_NextCube Cudd_NextNode |
| UPPER | DdNode UPPER (self) |
| LOWER | DdNode LOWER (self) |
| EpdMakeZero | EpdMakeZero (self, int sign) |
| EpdCopy | EpdCopy (self, EpDouble to) |
| EpdIsZero | bool EpdIsZero (self) |
| EpdIsNan | bool EpdIsNan (self) |
| EpdNormalize | EpdNormalize (self) |
| EpdDivide2 | EpdDivide2 (self, EpDouble epd2) |
| EpdDivide3 | EpdDivide3 (self, EpDouble epd2, EpDouble epd3) |
| EpdMultiply3 | EpdMultiply3 (self, EpDouble epd2, EpDouble epd3) |
| EpdMultiply2 | EpdMultiply2 (self, EpDouble epd2) |
| EpdIsNanOrInf | bool EpdIsNanOrInf (self) |
| EpdIsInf | bool EpdIsInf (self) |
| EpdAdd2 | EpdAdd2 (self, EpDouble epd2) |
| EpdNormalizeDecimal | EpdNormalizeDecimal (self) |
| EpdSubtract | EpdSubtract (self, double value) |
| EpdDivide | EpdDivide (self, double value) |
| EpdConvert | EpdConvert (self, double value) |
| EpdAdd | EpdAdd (self, double value) |
| EpdMultiply2Decimal | EpdMultiply2Decimal (self, EpDouble epd2) |
| EpdPow2 | EpdPow2 (self, int n) |
| EpdGetValueAndDecimalExponent | (double value, int exponent) EpdGetValueAndDecimalExponent (self) |
| EpdAdd3 | EpdAdd3 (self, EpDouble epd2, EpDouble epd3) |
| EpdSubtract3 | EpdSubtract3 (self, EpDouble epd2, EpDouble epd3) |
| EpdSubtract2 | EpdSubtract2 (self, EpDouble epd2) |
| EpdCmp | bool EpdCmp (self, EpDouble other) |
| EpdMakeNan | EpdMakeNan (self) |
| EpdMultiply3Decimal | EpdMultiply3Decimal (self, EpDouble epd2, EpDouble epd3) |
| EpdPow2Decimal | EpdPow2Decimal (self, int n) |
| EpdMakeInf | EpdMakeInf (self, int sign) |
| EpdMultiply | EpdMultiply (self, double value) |