How to use
minMax
method
in
openllet.core.boxes.abox.Clash

Best Java code snippets using openllet.core.boxes.abox.Clash.minMax (Showing top 6 results out of 315)

Add the Codota plugin to your IDE and get smart completions

private void myMethod () {
 OutputStreamWriter o =OutputStream out;new OutputStreamWriter(out)
OutputStream out;String charsetName;new OutputStreamWriter(out, charsetName)
HttpURLConnection connection;new OutputStreamWriter(connection.getOutputStream())
Smart code suggestions by Codota
}

_strategy.getABox().setClash(Clash.minMax(x, ds));
return;

_strategy.getABox().setClash(Clash.minMax(x, ds));
return;

_abox.setClash(Clash.minMax(this, minDepends.union(minR.getExplainFunctional(), _abox.doExplanation())));
  final DependencySet ds = minDepends.union(maxDepends, _abox.doExplanation()).union(subDepends, _abox.doExplanation());
  _abox.setClash(Clash.minMax(this, ds));

_abox.setClash(Clash.minMax(this, minDepends.union(minR.getExplainFunctional(), _abox.doExplanation())));
  final DependencySet ds = minDepends.union(maxDepends, _abox.doExplanation()).union(subDepends, _abox.doExplanation());
  _abox.setClash(Clash.minMax(this, ds));

public boolean checkMaxClash(final ATermAppl normalizedMax, final DependencySet maxDepends)
{
  final ATermAppl maxCard = (ATermAppl) normalizedMax.getArgument(0);
  final Role maxR = _abox.getRole(maxCard.getArgument(0));
  if (maxR == null)
    return false;
  final int max = ((ATermInt) maxCard.getArgument(1)).getInt() - 1;
  final ATermAppl maxC = (ATermAppl) maxCard.getArgument(2);
  for (final ATermAppl minCard : _types[MIN])
  {
    final Role minR = _abox.getRole(minCard.getArgument(0));
    if (minR == null)
      return false;
    final int min = ((ATermInt) minCard.getArgument(1)).getInt();
    final ATermAppl minC = (ATermAppl) minCard.getArgument(2);
    if (max < min && minC.equals(maxC) && minR.isSubRoleOf(maxR))
    {
      final DependencySet minDepends = getDepends(minCard);
      final DependencySet subDepends = maxR.getExplainSub(minR.getName());
      final DependencySet ds = minDepends.union(maxDepends, _abox.doExplanation()).union(subDepends, _abox.doExplanation());
      _abox.setClash(Clash.minMax(this, ds));
      return true;
    }
  }
  return false;
}

public boolean checkMaxClash(final ATermAppl normalizedMax, final DependencySet maxDepends)
{
  final ATermAppl maxCard = (ATermAppl) normalizedMax.getArgument(0);
  final Role maxR = _abox.getRole(maxCard.getArgument(0));
  if (maxR == null)
    return false;
  final int max = ((ATermInt) maxCard.getArgument(1)).getInt() - 1;
  final ATermAppl maxC = (ATermAppl) maxCard.getArgument(2);
  for (final ATermAppl minCard : _types[MIN])
  {
    final Role minR = _abox.getRole(minCard.getArgument(0));
    if (minR == null)
      return false;
    final int min = ((ATermInt) minCard.getArgument(1)).getInt();
    final ATermAppl minC = (ATermAppl) minCard.getArgument(2);
    if (max < min && minC.equals(maxC) && minR.isSubRoleOf(maxR))
    {
      final DependencySet minDepends = getDepends(minCard);
      final DependencySet subDepends = maxR.getExplainSub(minR.getName());
      final DependencySet ds = minDepends.union(maxDepends, _abox.doExplanation()).union(subDepends, _abox.doExplanation());
      _abox.setClash(Clash.minMax(this, ds));
      return true;
    }
  }
  return false;
}

Popular methods of Clash

Popular in Java

Updating database using SQL prepared statement
onRequestPermissionsResult (Fragment)
scheduleAtFixedRate (Timer)
Schedules the specified task for repeated fixed-rate execution, beginning after the specified delay.
requestLocationUpdates (LocationManager)
GridLayout (java.awt)
The GridLayout class is a layout manager that lays out a container's components in a rectangular gri
Format (java.text)
The base class for all formats. This is an abstract base class which specifies the protocol for clas
ExecutorService (java.util.concurrent)
An Executor that provides methods to manage termination and methods that can produce a Future for tr
DataSource (javax.sql)
A factory for connections to the physical data source that this DataSource object represents. An alt
JButton (javax.swing)
Loader (org.hibernate.loader)
Abstract superclass of object loading (and querying) strategies. This class implements useful common

How to use minMaxmethodin openllet.core.boxes.abox.Clash

Best Java code snippets using openllet.core.boxes.abox.Clash.minMax (Showing top 6 results out of 315)

How to use
minMax
method
in
openllet.core.boxes.abox.Clash