001/**
002 * Logic.java
003 * 
004 * Copyright (c) 2004-2012, Nicole C. Tedesco. All rights reserved.
005 * 
006 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
007 * use this file except in compliance with the License. You may obtain a copy of
008 * the License at:
009 * 
010 * http://www.apache.org/licenses/LICENSE-2.0
011 * 
012 * Unless required by applicable law or agreed to in writing, software
013 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
014 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
015 * License for the specific language governing permissions and limitations under
016 * the License.
017 */
018
019package net.sf.jaccumulator.lex;
020
021/**
022 * Logic operator lemma
023 * 
024 * @since JAccumulator 4.0
025 * @author Nicole Tedesco (<a
026 *         href="mailto:nicole@tedesco.name">nicole@tedesco.name</a>)
027 */
028public enum Logic
029{
030    /**
031     * This operation is a logical {@code and} ({@code &}) of all subordinate
032     * results
033     */
034    AND,
035
036    /**
037     * This operation is a logical {@code exclusive or} ({@code ^}, {@code xor})
038     * of all subordinate results
039     */
040    EXCLUSIVE_OR,
041
042    /**
043     * A simple operation, not a composite; the results of itself ({@code =})
044     */
045    IS,
046
047    /**
048     * This operation is a logical {@code not} ({@code !}) of a subordinate
049     * result
050     */
051    NOT,
052
053    /**
054     * This operation is a logical {@code or} ({@code |}) of all subordinate
055     * results
056     */
057    OR,
058}