Skip to content
Snippets Groups Projects
Commit e025d9f2 authored by Sophie Coudert's avatar Sophie Coudert
Browse files

small typo

parent ab6393fc
No related branches found
No related tags found
1 merge request!457IntBoolSolver (IBS) version 1.0 completed
...@@ -312,13 +312,13 @@ public class IBSStdExpressionClass< ...@@ -312,13 +312,13 @@ public class IBSStdExpressionClass<
} }
public abstract class IExpr extends IBSExpressionClass<Spec,Comp,State,SpecState,CompState>.IExpr { public abstract class IExpr extends IBSExpressionClass<Spec,Comp,State,SpecState,CompState>.IExpr {
protected short type; protected short type;
public final int getType() { return type; } public final short getType() { return type; }
public abstract int getPrio(); public abstract int getPrio();
public abstract IExpr negate(); public abstract IExpr negate();
} }
public abstract class BExpr extends IBSExpressionClass<Spec,Comp,State,SpecState,CompState>.BExpr { public abstract class BExpr extends IBSExpressionClass<Spec,Comp,State,SpecState,CompState>.BExpr {
protected short type; protected short type;
public final int getType() { return type; } public final short getType() { return type; }
public abstract int getPrio(); public abstract int getPrio();
public abstract BExpr negate(); public abstract BExpr negate();
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment