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}