01: package org.ofbiz.rules.engine;
02:
03: /**
04: * <p><b>Title:</b> Dynamic Axiom
05: * <p><b>Description:</b> None
06: * <p>Copyright (c) 1999 Steven J. Metsker.
07: * <p>Copyright (c) 2001 The Open For Business Project - www.ofbiz.org
08: *
09: * <p>Permission is hereby granted, free of charge, to any person obtaining a
10: * copy of this software and associated documentation files (the "Software"),
11: * to deal in the Software without restriction, including without limitation
12: * the rights to use, copy, modify, merge, publish, distribute, sublicense,
13: * and/or sell copies of the Software, and to permit persons to whom the
14: * Software is furnished to do so, subject to the following conditions:
15: *
16: * <p>The above copyright notice and this permission notice shall be included
17: * in all copies or substantial portions of the Software.
18: *
19: * <p>THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
20: * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
21: * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
22: * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
23: * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT
24: * OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR
25: * THE USE OR OTHER DEALINGS IN THE SOFTWARE.
26: *
27: * <br>
28: * <p>A DynamicAxiom is an axiom (that is, either a fact
29: * or a rule) that a structure can consult to prove itself.
30: *
31: * @author Steven J. Metsker
32: * @version 1.0
33: */
34: public interface DynamicAxiom {
35:
36: /**
37: * Return the first structure of this dynamic axiom.
38: *
39: * @return the first structure of this dynamic axiom
40: */
41: Structure head();
42:
43: /**
44: * Return the tail of this dynamic axiom.
45: *
46: * @return the tail of this dynamic axiom. This tail
47: * is the part of the dynamic that still needs to
48: * prove itself.
49: */
50: DynamicRule resolvent();
51: }
|