aboutsummaryrefslogtreecommitdiffstats
path: root/manual/CHAPTER_Auxlibs.tex
diff options
context:
space:
mode:
authorJannis Harder <me@jix.one>2022-03-29 12:11:28 +0200
committerJannis Harder <me@jix.one>2022-04-12 12:46:22 +0200
commitbc48500548a46b232dd708434587a7706ed0f7f1 (patch)
treea7415c15592ade96754d77e7efd25adbcc1e0f8f /manual/CHAPTER_Auxlibs.tex
parentc1646a00ac5a7b6ab53af64d5f2f70c5848cdf12 (diff)
downloadyosys-bc48500548a46b232dd708434587a7706ed0f7f1.tar.gz
yosys-bc48500548a46b232dd708434587a7706ed0f7f1.tar.bz2
yosys-bc48500548a46b232dd708434587a7706ed0f7f1.zip
tribuf: `-formal` option: convert all to logic and detect conflicts
Diffstat (limited to 'manual/CHAPTER_Auxlibs.tex')
0 files changed, 0 insertions, 0 deletions
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-02 18:05:55 +0000
#n64'>64 65 
<?xml version="1.0" encoding="utf-8"?>
<!-- Copyright (C) 2011 The Android Open Source Project

     Licensed under the Apache License, Version 2.0 (the "License");
     you may not use this file except in compliance with the License.
     You may obtain a copy of the License at

          http://www.apache.org/licenses/LICENSE-2.0

     Unless required by applicable law or agreed to in writing, software
     distributed under the License is distributed on an "AS IS" BASIS,
     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     See the License for the specific language governing permissions and
     limitations under the License.
-->

<selector xmlns:android="http://schemas.android.com/apk/res/android">

    <!-- Enabled states -->
        
    <item android:state_checked="true" android:state_window_focused="false"
          android:state_enabled="true"
          android:drawable="@drawable/keychaintheme_btn_check_on_holo_light" />
    <item android:state_checked="false" android:state_window_focused="false"
          android:state_enabled="true"
          android:drawable="@drawable/keychaintheme_btn_check_off_holo_light" />

    <item android:state_checked="true" android:state_pressed="true"
          android:state_enabled="true"
          android:drawable="@drawable/keychaintheme_btn_check_on_pressed_holo_light" />
    <item android:state_checked="false" android:state_pressed="true"
          android:state_enabled="true"