LightJason - AgentSpeak(L++)
IRule.java
Go to the documentation of this file.
1 /*
2  * @cond LICENSE
3  * ######################################################################################
4  * # LGPL License #
5  * # #
6  * # This file is part of the LightJason AgentSpeak(L++) #
7  * # Copyright (c) 2015-19, LightJason (info@lightjason.org) #
8  * # This program is free software: you can redistribute it and/or modify #
9  * # it under the terms of the GNU Lesser General Public License as #
10  * # published by the Free Software Foundation, either version 3 of the #
11  * # License, or (at your option) any later version. #
12  * # #
13  * # This program is distributed in the hope that it will be useful, #
14  * # but WITHOUT ANY WARRANTY; without even the implied warranty of #
15  * # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
16  * # GNU Lesser General Public License for more details. #
17  * # #
18  * # You should have received a copy of the GNU Lesser General Public License #
19  * # along with this program. If not, see http://www.gnu.org/licenses/ #
20  * ######################################################################################
21  * @endcond
22  */
23 
24 package org.lightjason.agentspeak.language.instantiable.rule;
25 
26 import com.google.common.collect.Multimap;
37 
38 import javax.annotation.Nonnull;
39 import java.util.List;
40 import java.util.stream.Stream;
41 
42 
46 public interface IRule extends IInstantiable
47 {
49  IRule EMPTY = new IRule()
50  {
54  private static final long serialVersionUID = 6850403064097706468L;
55 
56  @Nonnull
57  @Override
58  public final ILiteral identifier()
59  {
60  return CLiteral.from( "empty" );
61  }
62 
63  @Nonnull
64  @Override
65  public final IRule replaceplaceholder( @Nonnull final Multimap<IPath, IRule> p_rules )
66  {
67  return this;
68  }
69 
70  @Nonnull
71  @Override
72  public final IContext instantiate( @Nonnull final IAgent<?> p_agent, @Nonnull final Stream<IVariable<?>> p_variable )
73  {
74  return IContext.EMPTYRULE;
75  }
76 
77  @Nonnull
78  @Override
79  public final IFuzzyValue<Boolean> execute( final boolean p_parallel, @Nonnull final IContext p_context,
80  @Nonnull final List<ITerm> p_argument, @Nonnull final List<ITerm> p_return )
81  {
82  return CFuzzyValue.from( true );
83  }
84 
85  @Nonnull
86  @Override
87  public final Stream<IVariable<?>> variables()
88  {
89  return Stream.empty();
90  }
91  };
92 
93 
99  @Nonnull
101 
108  @Nonnull
109  IRule replaceplaceholder( @Nonnull final Multimap<IPath, IRule> p_rules );
110 
111 }
IRule replaceplaceholder( @Nonnull final Multimap< IPath, IRule > p_rules)
replaces all placeholder objects and reinstantiate object
IFuzzyValue< Boolean > execute(final boolean p_parallel, @Nonnull final IContext p_context, @Nonnull final List< ITerm > p_argument, @Nonnull final List< ITerm > p_return)
defines a plan-body operation
Stream< IVariable<?> > variables()
returns a stream with all used variables
static< N > IFuzzyValue< N > from( @Nonnull final N p_value)
factory
interface for (instantiable) plans and logical-rules
execution context with local data
Definition: IContext.java:42
ILiteral identifier()
returns the identifier of the rule
result for an immutable fuzzy value
default generic literal class for agent beliefs a literal consists of a functor, an optional list of ...
Definition: CLiteral.java:64
IContext EMPTYRULE
empty context with rule
Definition: IContext.java:86
IContext instantiate( @Nonnull final IAgent<?> p_agent, @Nonnull final Stream< IVariable<?>> p_variable)
creates an individual execution context
static ILiteral from( @Nonnull final String p_functor, @Nullable final ITerm... p_values)
factory
Definition: CLiteral.java:161